A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT

DOI10.1007/978-3-319-40229-1_7zbMath1475.68430MaRDI QIDQ2817912

Cesare Tinelli, Andrew Reynolds, Clark Barrett, Kshitij Bansal

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_7

Mathematics Subject Classification ID

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• Leon
• CVC4