The International Conferences on
Theory and Applications of Satisfiability Testing (SAT)

The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vs NP) and underlies many applications in, among other examples, artificial intelligence, operations research, and electronic design engineering. The primary objective of the conferences is to bring together researchers from various areas and communities, including theoretical and experimental computer science as well as the many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.

Next Meeting:

• SAT 2024 - 27th International Conference on Theory and Applications of Satisfiability Testing, Pune, India (2024)

Past Meetings:

• SAT 2023 - 26th International Conference on Theory and Applications of Satisfiability Testing, Alghero, Italy (2023)
• SAT 2022 - 25th International Conference on Theory and Applications of Satisfiability Testing, Haifa, Israel (2022)
• SAT 2021 - 24th International Conference on Theory and Applications of Satisfiability Testing, Barcelona, Spain (2021)
• SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, Alghero, Italy (2020)
• SAT 2019 - 22nd International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal (2019)
• SAT 2018 - 21th International Conference on Theory and Applications of Satisfiability Testing, Oxford, UK (2018)
• SAT 2017 - 20th International Conference on Theory and Applications of Satisfiability Testing, 28. August - 1. September, Melbourne, Australia (2017)
• SAT 2016 - 19th International Conference on Theory and Applications of Satisfiability Testing, Bordeaux, France (2016)
• SAT 2015 - 18th International Conference on Theory and Applications of Satisfiability Testing, Austin, Texas, USA (2015)
• SAT 2014 - 17th International Conference on Theory and Applications of Satisfiability Testing, 14-17 July 2014, Vienna, Austria
• SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, 8-12 July 2013, Helsinki, Finland
• SAT 2012 - 15th International Conference on Theory and Applications of Satisfiability Testing, Trento, Italy (2012)
• SAT 2011 - 14th International Conference on Theory and Applications of Satisfiability Testing, Ann Arbor, USA (2011)
• SAT 2010 - 13th International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, United Kingdom (2010)
• SAT 2009 - 12th International Conference on Theory and Applications of Satisfiability Testing, Swansea, Wales, United Kingdom (2009)
• SAT 2008 - 11th International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, P. R. China (2008)
• SAT 2007 - 10th International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal (2007)
• SAT 2006 - 9th International Conference on Theory and Applications of Satisfiability Testing, Seattle WA, USA (2006)
• SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scottland (2005)
• SAT 2004 - 7th International Conference on Theory and Applications of Satisfiability Testing, Vancouver (BC), Canada (2004)
• SAT 2003 - 6th International Conference on Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy (2003)
• SAT 2002 - 5th Symposium on Theory and Applications of Satisfiability Testing, Cincinnati, USA (2002)
• SAT 2001 - 4th Workshop on Theory and Applications of Satisfiability Testing, Boston, USA (2001)
• SAT 2000 - 3rd Workshop on Satisfiability, Renesse, The Netherlands (2000)
• SAT 1998 - 2nd Workshop on Satisfiability, Schloß Eringerfeld, Germany (1998)
• SAT 1996 - 1st Workshop on Satisfiability, Siena, Italy (1996)

Some SAT-related sites:

• SAT Association
• JSAT - Journal on Satisfiability, Boolean Modeling and Computation
• SAT Live! - Up-to-date links for the Satisfiability Problem
• QBFLIB - The Quantified Boolean Formulas Satisfiability Library

For comments and corrections, please contact Stefan Mengel.

Imprint     Privacy