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
   

2014 - Vienna, Austria (with FLoC)

 webpage - not ready

       
   

2013 - Helsinki, Finland

 webpage

       
   

2012 - Trento, Italy

 webpage

       
   

2011 - Ann Arbor, Michigan, USA

 webpage

   

proceedings

   

competition

   

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