dblp.uni-trier.de www.uni-trier.de

7. SAT 2004: Vancouver, BC, Canada

Holger H. Hoos, David G. Mitchell (Eds.): Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3542 Springer 2005, ISBN 3-540-27829-X BibTeX

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

Copyright © Sat May 16 23:36:46 2009 by Michael Ley (ley@uni-trier.de)