Sets with Cardinality Constraints in Satisfiability Modulo Theories

by Robin Steiger , Viktor Kuncak
Citations:6 - 1 self