Solving Set Constraints with Comprehensions and Bounded Quantifiers

Mudathir Mohamed, Nick Feng, Andrew Reynolds +3

Many real applications problems can be encoded easily as quantified formulas in SMT. However, this simplicity comes at the cost of difficulty during solving by SMT solvers. Differe…