SAT

International Conference on Theory and Applications of Satisfiability Testing

  1. 2017

    SAT 2017

    • 28 August - 1 September
    • Melbourne, Australia
  2. 2009

    SAT 2009

    • 30 June - 3 July
    • Swansea, United Kingdom
  3. 2005

    SAT 2005

    • 19-23 June
    • St Andrews, United Kingdom
  4. 2003

    SAT 2003

    • 5-8 May
    • Santa Margherita Ligure, Italy