Similar Items: Reasoning with Finite Sets and Cardinality Constraints in SMT
- The complexity of global cardinality constraints
- Expansions of MSO by cardinality relations
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions
- Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$
- Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
- An Optimal Algorithm for Cardinality-Constrained Diameter Partitioning