Sets with Cardinality Constraints in Satisfiability Modulo Theories (2011)

by P Suter, R Steiger, V Kuncak
Venue:In Verification, Model Checking, and Abstract Interpretation