Theory and Applications of Satisfiability Testing

17. SAT 2014: Vienna, Austria

16. SAT 2013: Helsinki, Finland

15. SAT 2012: Trento, Italy

14. SAT 2011: Ann Arbor, MI, USA

13. SAT 2010: Edinburgh, UK

12. SAT 2009: Swansea, UK

11. SAT 2008: Guangzhou, China

10. SAT 2007: Lisbon, Portugal

9. SAT 2006: Seattle, WA, USA

8. SAT 2005: St. Andrews, UK

7. SAT 2004: Vancouver, BC, Canada

6. SAT 2003: Santa Margherita Ligure, Italy

SAT 2001: Boston, Massachusetts, USA

Proceedings: Electronic Notes in Discrete Mathematics, Volume 9