Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3 November 2000, Computational Logic Seminar, Satisfiability Afternoon

3 November 2000, Computational Logic Seminar, Satisfiability Afternoon
An afternoon on Satisfiability in the Netherlands, with speakers from all over the country.
Location: Room P.327, Euclides building
New Date and Time: November 3, 2000, 13.00-16.30

Schedule:

13.00-13.30 van Maaren, Reasoning and Semi Definite Programming
13.30-14.00 O'Nuallain, Leveraging Empirical Results to Improve SAT Algorithms
14.15-14.45 Zantema, Satisfiability by Binary Decision Diagrams
14.45-15.15 Gennari, Local Consistency via Iterations of Functions
15.30-16.00 Eiben and Marchiori, Evolutionary Approaches to Solving SAT Problems
16.00-16.30 Stol, Model Generation and Adaptive Local Search
16.30-... Drinks

For more information and abstracts, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar00-2.html.

Please note that this newsitem has been archived, and may contain outdated information or links.