Publication

On Sets with Cardinality Constraints in Satisfiability Modulo Theories