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

10. SAT 2007: Lisbon, Portugal

João Marques-Silva, Karem A. Sakallah (Eds.): Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings. Lecture Notes in Computer Science 4501 Springer 2007, ISBN 978-3-540-72787-3 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)