Sets with Cardinality Constraints in Satisfiability Modulo Theories

by Robin Steiger , Viktor Kuncak
Citations:4 - 0 self