Theory and Applications of Satisfiability Testing
16. SAT 2013: Helsinki, Finland
Matti Järvisalo, Allen Van Gelder (Eds.): Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7962 ISBN 978-3-642-39070-8 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7317 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. Springer 2011 Lecture Notes in Computer Science 6695 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. Springer 2010 Lecture Notes in Computer Science 6175 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. Springer 2009 Lecture Notes in Computer Science 5584 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. Springer 2008 Lecture Notes in Computer Science 4996 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. Springer 2007 Lecture Notes in Computer Science 4501 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. Springer 2006 Lecture Notes in Computer Science 4121 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. Springer 2005 Lecture Notes in Computer Science 3569 ISBN 3-540-26276-8 [ contents ]
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 ]
- 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. Springer 2005 Lecture Notes in Computer Science 3542 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. Springer 2004 Lecture Notes in Computer Science 2919 ISBN 3-540-20851-8 [ contents ]
SAT 2001: Boston, Massachusetts, USA
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team