Theory and Applications of Satisfiability Testing

11. SAT 2008: Guangzhou, China

Hans Kleine Büning, Xishun Zhao (Eds.): Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings. Lecture Notes in Computer Science 4996 Springer 2008, ISBN 978-3-540-79718-0
Contents BibTeX

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
Contents BibTeX

9. SAT 2006: Seattle, WA, USA

Armin Biere, Carla P. Gomes (Eds.): Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Lecture Notes in Computer Science 4121 Springer 2006, ISBN 3-540-37206-7
Contents BibTeX

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
Contents BibTeX - SAT 2005 Home Page

7. SAT 2004: Vancouver, BC, Canada

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings. 2004
Contents BibTeX - SAT 2004 Home Page

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
Contents BibTeX

6. SAT 2003: Santa Margherita Ligure, Italy

Enrico Giunchiglia, Armando Tacchella (Eds.): Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919 Springer 2004, ISBN 3-540-20851-8
Contents BibTeX

SAT 2001: Boston, Massachusetts, USA

Proceedings: Electronic Notes in Discrete Mathematics, Volume 9