SAT-Race
2010
Important Dates
April 25, 2010:
Deadline for registering solvers.April 30, 2010:
Deadline for submitting solvers to the qualification round.
Passing the qualification round is mandatory for participating
in SAT-Race.
- Results sent back to authors: May 25
- End of feedback / revision period: May 30
- Announcement of qualified solvers: May 31