A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
Lecture notes in computer science2016pp. 82–98
Citations Over TimeTop 10% of 2016 papers
Related Papers
- → SMT-Based Constraint Answer Set Solver EZSMT (System Description)(2016)24 cited
- Linear arithmetic satisfiability via strategy improvement(2016)
- → Satisfiability and Algorithms for Non-uniform Random k-SAT(2021)4 cited
- → A second order parameter for 3SAT(1996)5 cited
- Computing ASPMT Theories by SMT Solvers(2014)