_
SAT Competitions
The purpose of the competition is to identify new challenging benchmarks and to promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them with state-of-the-art solvers. We strongly encourage people thinking about SAT-based techniques in their area (planning, hardware or software verification, etc.) to submit benchmarks to be used for the competition. The result of the competition will be a good indicator of the current feasibility of such approach. The competition will be completely automated using the SAT-Ex system.
http://www.satcompetition.org
From: Niche Awards
Hits: 234
Date: Mar 31, 2007
Votes: 0
Rating: 0.00
Comments: 0
|
| _ |
| Comments: There are currently no comments available. |
| _ |
|
