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

Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full CADE paper archive.