SAT 2024, Pune, India
SAT 2023, Alghero, Italy
SAT 2023, Alghero, Italy
SAT 2022, Haifa, Israel
SAT 2019, Lisbon, Portugal
SAT 2018, Oxford, UK
SAT 2017, Melbourne, Australia
SAT 2017, Melbourne, Australia
SAT 2016, Bordeaux, France
SAT 2016, Austin, USA
SAT 2014, Vienna, Austria
SAT 2014, Vienna, Austria
SAT 2014, Vienna, Austria
SAT 2014, Vienna, Austria
SAT 2013, Helsinki, Finland
SAT 2012, Trento, Italy
SAT Interactions, 2012, Dagstuhl, Germany
SAT 2011, Ann Arbor, Michigan, USA
SAT 2009, Swansea, UK
SAT Next Generation SAT Solvers, 2009, Dagstuhl, Germany
SAT 2008, Guangzhou, China
SAT 2007, Lisbon, Portugal
SAT 2006, Guangzhou, China
SAT 2004, Guangzhou, China
SAT Algorithms Workshop, 2003, Dagstuhl, Germany
SAT 2002, Cincinnati, Ohio, USA
SAT 2000, Renesse, Netherlands
SAT Workshop, 1998, Paderborn, Germany
SAT Workshop, 1998, Paderborn, Germany
SAT Workshop, 1996, Siena, Italy