Atlas home || Conferences | Abstracts | about Atlas

SAT 2000 Third Workshop on the Satisfiability Problem

April 14-18, 2000

Renesse, Netherlands

Mathematics

Host: Slot Moermond
Homepage: http://ssor.twi.tudelft.nl/~warners/sat2000.htm

Organizers: John Franco, Ewald Speckenmeyer, Hans Kleine Buening, Hans van Maaren, Lucie Aarts, Etienne de Klerk, Joost Warners

Description:
The aim of the workshop is to bring together researchers working on both theoretical and practical aspects of the satisfiability problem.

Mail Address:

Hans van Maaren
ITS-TWI-SSOR
Delft University of Technology
P.O. Box 5031
2600 GA Delft
The Netherlands
tel: +31 15 2784936
fax: +31 15 2787255

Submitted by: Joost Warners
Date received: November 06, 1999

© 2008 Atlas Conferences Inc.