SAT Association Logo

THE SAT ASSOCIATION
DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more ...

International Conference on Theory and Applications of Satisfiability Testing
   

2024 - Pune, India

 webpage

       
   

2023 - Alghero, Italy

 webpage

       
   

2022 - Haifa, Israel

 webpage

       
   

2021 - Barcelona, Spain

 webpage

       
   

2020 - Alghero, Italy

 webpage

       
   

2019 - Lisbon, Portugal

 webpage

       
   

2018 - Oxford, UK

 webpage

       
   

2017 - Melbourne, Australia

 webpage

       
   

2016 - Bordeaux, France

 webpage

       
   

2015 - Austin, Texas

 webpage

       
   

2014 - Vienna, Austria (with FLoC)

 webpage

       
   

2013 - Helsinki, Finland

 webpage

       
   

2012 - Trento, Italy

 webpage

       
   

2011 - Ann Arbor, Michigan, USA

 webpage

   

proceedings

   
   

2010 - Edinburgh, Scotland (with FLoC)

 webpage

   

2009 - Swansea, Wales

 webpage

   

2008 - Guanzhou, China

 webpage

   

2007 - Lisboa, Portugal

 webpage

   

2006 - Seattle, Washington, USA (with FLoC)

 webpage

   

2005 - St. Andrews, Scotland

 webpage

   

2004 - Vancouver, BC, Canada

 webpage

   

2003 - Portofino, Italy

 webpage

   

2002 - Cincinnati, Ohio, USA

 webpage

   

2001 - Boston, Massachusetts, USA

 webpage not available

   

2000 - Renesse, the Netherlands

 webpage not available

   

1998 - Schloss Eringerfeld, Germany

 webpage

   

1996 - Siena, Italy

 webpage

SAT visualization
SAT visualization
Two BDD
SAT cube
Search graph for CNF formula
SAT Handbook
Equations
An AIG
Marek's book
SAT 2000