Last update: July 21, 2005
July 21: Concerning the competition results ...
February 14: Solver and benchmark registration now open! Register now! (Until February 23).
While the I/O requirements and the input format are basically the same since the 2002 competition, conditions to enter the competitions are changing a bit (see for instance the anti-black-box rule last year).
20/01/05: Check out the new rules in details
Submission information will be available one month before the deadline.
For further information, please send an email to SATcompetition@satlive.org.