Volume Computation for Boolean Combination of Linear Arithmetic Constraints
From MaRDI portal
Publication:5191119
DOI10.1007/978-3-642-02959-2_33zbMath1250.68237MaRDI QIDQ5191119
Sheng Liu, Jian Zhang, Feifei Ma
Publication date: 28 July 2009
Published in: Automated Deduction – CADE-22 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02959-2_33
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- Effective lattice point counting in rational convex polytopes
- Solving SAT and SAT Modulo Theories
- Algorithms for Propositional Model Counting
- On the Complexity of Computing the Volume of a Polyhedron
- Computer Aided Verification
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing