7. SAT 2004: Vancouver, BC, Canada

2004 SAT Solver Competition and QBF Solver Evaluation (Invited Papers)

maintained by Schloss Dagstuhl LZI at University of Trier