7. SAT 2004: Vancouver, BC, Canada

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