29 results · clear filters Sort: newest oldest name

1. 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026
   2026 · Lisbon, Portugal
   Computer and information sciences
   e11r2bm
2. International Conference on Theory and Applications of Satisfiability Testing (SAT)
   series, 28 events, 2001 to 2026
   Computer and information sciences
   s10ahex
3. Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025.
   2025 · Glasgow, United Kingdom
   Computer and information sciences
   e11p2rx
4. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025
   2025 · Glasgow, United Kingdom
   Computer and information sciences
   e11r2ap
5. 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024
   2024 · Pune, India
   Computer and information sciences
   e11r29r
6. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Alghero, Italy, July 4-8, 2023
   2023 · Alghero, Italy
   Computer and information sciences
   e11r28t
7. 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022
   2022 · Haifa, Israel
   Computer and information sciences
   e11r27w
8. Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
   2021 · Barcelona, Spain
   Computer and information sciences
   e11r26y
9. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
   2020 · Alghero, Italy
   Computer and information sciences
   e11r250
10. 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
11. 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
12. 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
13. International Conference on Theory and Applications of Satisfiability Testing (SAT 2016, SAT)
    2016-07-05/08 · Bordeaux, France
    Computer and information sciences
    e107kfz
14. International Conference on Theory and Applications of Satisfiability Testing (SAT 2015, SAT)
    2015-09-24/27 · Austin, United States
    Computer and information sciences
    e107ke1
15. International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)
    2014-07-14/17 · Vienna, Austria
    Computer and information sciences
    e107kd3
16. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2013-07-08/12 · Helsinki, Finland
    Computer and information sciences
    e107kc5
17. International Conference on Theory and Applications of Satisfiability Testing (SAT 2012, SAT)
    2012-06-17/20 · Trento, Italy
    Computer and information sciences
    e107kb7
18. 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
19. International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)
    2010-07-11/14 · Edinburgh, United Kingdom
    Computer and information sciences
    e107k9b
20. 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
21. 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
22. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2007-05-28/31 · Lisbon, Portugal
    Computer and information sciences
    e107k6h
23. International Conference on Theory and Applications of Satisfiability Testing (SAT 2006, SAT)
    2006-08-12/15 · Seattle, United States
    Computer and information sciences
    e107k5k
24. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2005-06-19/23 · St Andrews, United Kingdom
    Computer and information sciences
    e107k4n
25. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2004-05-10/13 · Vancouver, Canada
    Computer and information sciences
    e107k3q

As JSON: https://labs.confref.org/api/search?series=s10ahex