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

8. SAT 2005: St. Andrews, UK

Fahiem Bacchus, Toby Walsh (Eds.): Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Lecture Notes in Computer Science 3569 Springer 2005, ISBN 3-540-26276-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 21:07:37 2009 by Michael Ley (ley@uni-trier.de)