18 results · clear filters Sort: newest oldest name

1. Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (SAT)
   2019-07-09/12 · Lisbon, Portugal
   Computer and information sciences
   e11r242
2. Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (SAT)
   2018-07-09/12 · Oxford, United Kingdom
   Computer and information sciences
   e11r234
3. International Conference on Theory and Applications of Satisfiability Testing (SAT 2017, SAT)
   2017-08-28 to 2017-09-01 · Melbourne, Australia
   Computer and information sciences
   e107kgw
4. International Conference on Theory and Applications of Satisfiability Testing (SAT 2016, SAT)
   2016-07-05/08 · Bordeaux, France
   Computer and information sciences
   e107kfz
5. International Conference on Theory and Applications of Satisfiability Testing (SAT 2015, SAT)
   2015-09-24/27 · Austin, United States
   Computer and information sciences
   e107ke1
6. International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)
   2014-07-14/17 · Vienna, Austria
   Computer and information sciences
   e107kd3
7. International Conference on Theory and Applications of Satisfiability Testing (SAT)
   2013-07-08/12 · Helsinki, Finland
   Computer and information sciences
   e107kc5
8. International Conference on Theory and Applications of Satisfiability Testing (SAT 2012, SAT)
   2012-06-17/20 · Trento, Italy
   Computer and information sciences
   e107kb7
9. International Conference on Theory and Applications of Satisfiability Testing (SAT 2011, SAT)
   2011-06-19/22 · Ann Arbor, United States
   Computer and information sciences
   e107ka9
10. International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)
    2010-07-11/14 · Edinburgh, United Kingdom
    Computer and information sciences
    e107k9b
11. International Conference on Theory and Applications of Satisfiability Testing (SAT 2009, SAT)
    2009-06-30 to 2009-07-03 · Swansea, United Kingdom
    Computer and information sciences
    e107k8d
12. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2008-05-12/15 · Guangzhou, People's Republic of China
    Computer and information sciences
    e107k7f
13. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2007-05-28/31 · Lisbon, Portugal
    Computer and information sciences
    e107k6h
14. International Conference on Theory and Applications of Satisfiability Testing (SAT 2006, SAT)
    2006-08-12/15 · Seattle, United States
    Computer and information sciences
    e107k5k
15. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2005-06-19/23 · St Andrews, United Kingdom
    Computer and information sciences
    e107k4n
16. SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings (SAT)
    2004-01-01 · Vancouver, Canada
    Computer and information sciences
    e11r218
17. International Conference on Theory and Applications of Satisfiability Testing (SAT 2003, SAT)
    2003-05-05/08 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e107k2s
18. Theory and Applications of Satisfiability Testing (SAT)
    2001-01-01 · Boston, United States
    Computer and information sciences
    e12njab

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s10ahex