Solving Set Constraints with Comprehensions and Bounded Quantifiers.

Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik

Browse the full FMCAD paper archive.