19 results · clear filters Sort: newest oldest name

1. International Conference on Theory and Applications of Satisfiability Testing (SAT)
   series, 28 events, 2001 to 2026
   Computer and information sciences
   s10ahex
2. 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
3. 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
4. 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
5. International Conference on Theory and Applications of Satisfiability Testing (SAT 2016, SAT)
   2016-07-05/08 · Bordeaux, France
   Computer and information sciences
   e107kfz
6. International Conference on Theory and Applications of Satisfiability Testing (SAT 2015, SAT)
   2015-09-24/27 · Austin, United States
   Computer and information sciences
   e107ke1
7. International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)
   2014-07-14/17 · Vienna, Austria
   Computer and information sciences
   e107kd3
8. International Conference on Theory and Applications of Satisfiability Testing (SAT)
   2013-07-08/12 · Helsinki, Finland
   Computer and information sciences
   e107kc5
9. International Conference on Theory and Applications of Satisfiability Testing (SAT 2012, SAT)
   2012-06-17/20 · Trento, Italy
   Computer and information sciences
   e107kb7
10. 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
11. International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)
    2010-07-11/14 · Edinburgh, United Kingdom
    Computer and information sciences
    e107k9b
12. 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
13. 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
14. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2007-05-28/31 · Lisbon, Portugal
    Computer and information sciences
    e107k6h
15. International Conference on Theory and Applications of Satisfiability Testing (SAT 2006, SAT)
    2006-08-12/15 · Seattle, United States
    Computer and information sciences
    e107k5k
16. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2005-06-19/23 · St Andrews, United Kingdom
    Computer and information sciences
    e107k4n
17. 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
18. 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
19. 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?discipline=Q21198&series=s10ahex