Sets with Cardinality Constraints in Satisfiability Modulo Theories.

Philippe Suter, Robin Steiger, Viktor Kuncak

Browse the full VMCAI paper archive.