Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results
Presentation
Benchmarks
Solvers
Organizers
|
Important Dates
| Opening | February 22nd, 2010 |
| Registration deadline (Extended deadline) | April 25th, 2010 |
| Submission of benchmarks deadline (Extended deadline) | April 11th, 2010 |
| Submission of solvers deadline (Extended deadline) | April 25th, 2010 |
| Experimentation | May and June, 2010 |
| Results of the evaluation | July 11th-July 14th, 2010 |
|