SAT-Race
2008
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