Special Issue on the SAT 2007 Competitions.

Invitation Based

Guest Editors

Ewald Speckenmeyer
Chu Min Li
Vasco Manquinho
Armando Tacchella

General Information

This 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.