Satisfiability Modulo Custom Theories in Z3
- 17 January 2023
- book chapter
- Published by Springer Nature
- p. 91-105
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Z3str3: A String Solver with Theory-aware Heuristics2017
- Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions2012
- Engineering Theories with Z3Lecture Notes in Computer Science, 2011
- The OpenSMT Solver2010
- Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories2009
- Z3: An Efficient SMT Solver2008
- Efficient E-Matching for SMT Solvers2007
- On SAT Modulo Theories and Optimization Problems2006
- An Extensible SAT-solver2004
- Using CSP look-back techniques to solve exceptionally hard SAT instances1996