Decision Procedures for Multisets with Cardinality Constraints.

Ruzica Piskac, Viktor Kuncak

Browse the full VMCAI paper archive.