Sets with Cardinality Constraints in Satisfiability Modulo Theories (0)

by Philippe Suter, Robin Steiger, Viktor Kuncak
Venue:In: Proceedings of the 12th international conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). 2011