Fingerprint
Dive into the research topics of 'A new decision procedure for finite sets and cardinality constraints in SMT'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A new decision procedure for finite sets and cardinality constraints in SMT
Kshitij Bansal, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution