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.