Call for Benchmarks
This call is to invite and encourage submissions of benchmarks and benchmark generators for the Application and Hard-combinatorial tracks of the competition.
- Benchmarks have to be formatted according to the SAT Competition 2011 Benchmark Submission Guidelines.
- Submitted benchmarks and generators must be accompanied by a 1-2 page description (IEEE Proceedings style). The description documents will be disseminated in the same way as the descriptions of the SAT solvers.
Schedule (subject to minor changes):
|April 20, 2013||Benchmarks and generators submission opens|
|April 30, 2013||Benchmarks and generators submission closes|
A prize may be awarded to the author(s) of the most interesting (at the discretion of the organizers and the judges) benchmark set and/or benchmark generator.