23 citations · 117 across the 10 of their papers we have counts for
1 paper · 1 filter
Kshitij Bansal, Clark Barrett, Andrew Reynolds +1
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data stru…