next up previous
Next: Introduction Up: The SAT2002 Competition (preliminary Previous: The SAT2002 Competition (preliminary


We would like to thank John Franco, Michal Kouril, and the University of Cincinnati for providing us the computers and local maintenance. We also thank Hans van Maaren and the computational logic group of the Technical University of Delft for providing the awards. Of course, not to forget the many benchmarks and solvers authors. We are also very grateful to all SAT2002 conference participants for their feedback.

LE BERRE Daniel 2002-09-16