15 results · clear filters Sort: newest oldest name

1. 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
2. International Workshop on Satisfiability Modulo Theories (SMT) (SMT)
   series, 14 events, 2004 to 2025
   Computer and information sciences
   s10bncv
3. Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024.
   2024 · Montreal, Canada
   Computer and information sciences
   e11va7e
4. Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023.
   2023 · Rome, Italy
   Computer and information sciences
   e11va6g
5. Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022.
   2022 · Haifa, Israel
   Computer and information sciences
   e11va5j
6. Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021.
   2021 · United States
   Computer and information sciences
   e11va4m
7. Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020.
   2020 · France
   Computer and information sciences
   e11va3p
8. Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017.
   2017 · Heidelberg, Germany
   Computer and information sciences
   e11va2r
9. Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016.
   2016 · Coimbra, Portugal
   Computer and information sciences
   e10tgt4
10. Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. (SMT)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e11va1t
11. 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 (SMT)
    2012-06-30 to 2012-07-01 · Manchester, United Kingdom
    Computer and information sciences
    e10tgs6
12. Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007
    2007 · Berlin, Germany
    Computer and information sciences
    e11va0w
13. Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006
    2006 · Seattle, United States
    Computer and information sciences
    e11v9zy
14. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005
    2005 · Edinburgh, United Kingdom
    Computer and information sciences
    e11v9y0
15. Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004
    2004 · Cork, Ireland
    Computer and information sciences
    e11v9x2

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