Theory and Applications of Satisfiability Testing
15. SAT 2012: Trento, Italy
Alessandro Cimatti, Roberto Sebastiani (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings.
Lecture Notes in Computer Science 7317 Springer 2012, ISBN 978-3-642-31611-1
Contents 
14. SAT 2011: Ann Arbor, MI, USA
Karem A. Sakallah, Laurent Simon (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings.
Lecture Notes in Computer Science 6695 Springer 2011, ISBN 978-3-642-21580-3
Contents
13. SAT 2010: Edinburgh, UK
Ofer Strichman, Stefan Szeider (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings.
Lecture Notes in Computer Science 6175 Springer 2010, ISBN 978-3-642-14185-0
Contents
12. SAT 2009: Swansea, UK
Oliver Kullmann (Ed.):
Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings.
Lecture Notes in Computer Science 5584 Springer 2009, ISBN 978-3-642-02776-5
Contents
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
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
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
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
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
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
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
SAT 2001: Boston, Massachusetts, USA
Proceedings: Electronic Notes in Discrete Mathematics, Volume 9
Last update Tue May 21 17:56:50 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
