International Conference on Theory and Applications of Satisfiability Testing
-
2021
SAT 2021
- 5-9 July
- Barcelona, Spain
-
Theory and Applications of Satisfiability Testing – SAT 2021
37 Papers
1 Volume
-
2020
SAT 2020
- 3-10 July
- Alghero, Italy
-
Theory and Applications of Satisfiability Testing – SAT 2020
36 Papers
1 Volume
-
2019
SAT 2019
- 7-12 July
- Lisbon, Portugal
-
Theory and Applications of Satisfiability Testing – SAT 2019
28 Papers
1 Volume
-
2018
SAT 2018
- 9-12 July
- Oxford, United Kingdom
-
Theory and Applications of Satisfiability Testing – SAT 2018
27 Papers
1 Volume
-
2017
SAT 2017
- 28 August - 1 September
- Melbourne, Australia
-
Theory and Applications of Satisfiability Testing – SAT 2017
30 Papers
1 Volume
-
2016
SAT 2016
- 5-8 July
- Bordeaux, France
-
Theory and Applications of Satisfiability Testing – SAT 2016
36 Papers
1 Volume
-
2015
SAT 2015
- 24-27 September
- Austin, TX, USA
-
Theory and Applications of Satisfiability Testing -- SAT 2015
30 Papers
1 Volume
-
2014
SAT 2014
- 14-17 July
- Vienna, Austria
-
Theory and Applications of Satisfiability Testing – SAT 2014
33 Papers
1 Volume
-
2013
SAT 2013
- 8-12 July
- Helsinki, Finland
-
Theory and Applications of Satisfiability Testing – SAT 2013
34 Papers
1 Volume
-
2012
SAT 2012
- 17-20 June
- Trento, Italy
-
Theory and Applications of Satisfiability Testing – SAT 2012
54 Papers
1 Volume
-
2011
SAT 2011
- 19-22 June
- Ann Arbor, MI, USA
-
Theory and Applications of Satisfiability Testing - SAT 2011
37 Papers
1 Volume
-
2010
SAT 2010
- 11-14 July
- Edinburgh, United Kingdom
-
Theory and Applications of Satisfiability Testing – SAT 2010
37 Papers
1 Volume
-
2009
SAT 2009
- 30 June - 3 July
- Swansea, United Kingdom
-
Theory and Applications of Satisfiability Testing - SAT 2009
47 Papers
1 Volume
-
2008
SAT 2008
- 12-15 May
- Guangzhou, China
-
Theory and Applications of Satisfiability Testing – SAT 2008
27 Papers
1 Volume
-
2007
SAT 2007
- 28-31 May
- Lisbon, Portugal
-
Theory and Applications of Satisfiability Testing – SAT 2007
36 Papers
1 Volume
-
2006
SAT 2006
- 12-15 August
- Seattle, WA, USA
-
Theory and Applications of Satisfiability Testing - SAT 2006
39 Papers
1 Volume
-
2005
SAT 2005
- 19-23 June
- St Andrews, United Kingdom
-
Theory and Applications of Satisfiability Testing
42 Papers
1 Volume
-
2004
SAT 2004
- 10-13 May
- Vancouver, BC, Canada
-
Theory and Applications of Satisfiability Testing
28 Papers
1 Volume
-
2003
SAT 2003
- 5-8 May
- Santa Margherita Ligure, Italy
-
Theory and Applications of Satisfiability Testing
38 Papers
1 Volume