Back to Results
First PageMeta Content
Cardinality / Set / Combination / Boolean satisfiability problem / Generalized arithmetic progression / Permutation / Polynomial / Mathematics / Combinatorics / Multiset


Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ยด Ecole
Add to Reading List

Document Date: 2007-12-11 06:05:40

Open Document

File Size: 295,67 KB

Share Result on Facebook
UPDATE