5 results · clear filters Sort: newest oldest name

1. International Workshop on Satisfiability Modulo Theories (SMT) (SMT)
   series, 14 events, 2004 to 2025
   Computer and information sciences
   s10bncv
2. 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
3. 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
4. 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
5. 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&from=2000&to=2009