SAT-Race
|
Important DatesMarch 31, 2006:Deadline for registering solvers.April − June 2006:Qualification phase; we will have two qualification rounds, where successful participation in at least one of them is mandatory to qualify for SAT-Race.
July 2, 2006:Deadline for submitting final versions of solvers.August 15, 2006:Announcement of results on the SAT'06 conference. |