Important Dates

January 22, 2008:

Deadline for registering solvers.

February − March 2008:

Qualification phase; we will have two qualification rounds, where successful participation in at least one of them is mandatory to qualify for SAT-Race.
  • First round deadline: February 10
  • Second round deadline: March 12

April 7, 2008:

Deadline for submitting final versions of solvers.

May 12-15, 2008:

Announcement of results on the SAT'08 conference.