Guest EditorsEwald Speckenmeyer
Chu Min Li
General InformationThis issue will cover the best of the SAT 2007 competitions: Analysis of results, ranking rules and contributions of authors of successful solvers and submitters of interesting benchmarks. Please consult
and further links there.
The guest editors will monitor the progress of the competition results and will approach potential submitters on the basis of solver performance and/or interest of benchmark.