International Conference on Theory and Applications of Satisfiability Testing (SAT)

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech
      • has part: Pragmatics of SAT Workshop (POS)

      24th SAT 2021: Barcelona, Spain

      23rd SAT 2020: Alghero, Italy

      22nd SAT 2019: Lisbon, Portugal

      21st SAT 2018: Oxford, UK

      20th SAT 2017: Melbourne, VIC, Australia

      19th SAT 2016: Bordeaux, France

      18th SAT 2015: Austin, TX, USA

      17th SAT 2014: Vienna, Austria

      16th SAT 2013: Helsinki, Finland

      15th SAT 2012: Trento, Italy

      14th SAT 2011: Ann Arbor, MI, USA

      13th SAT 2010: Edinburgh, UK

      12th SAT 2009: Swansea, UK

      11th SAT 2008: Guangzhou, China

      10th SAT 2007: Lisbon, Portugal

      9th SAT 2006: Seattle, WA, USA

      8th SAT 2005: St. Andrews, UK

      SAT 2005 Home Page

      7th SAT 2004: Vancouver, BC, Canada

      SAT 2004 Home Page

      6th SAT 2003: Santa Margherita Ligure, Italy

      SAT 2001: Boston, Massachusetts, USA

      Proceedings: Electronic Notes in Discrete Mathematics, Volume 9

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics