Similar Items: The complexity of global cardinality constraints
- Reasoning with Finite Sets and Cardinality Constraints in SMT
- Expansions of MSO by cardinality relations
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions
- Global Numerical Constraints on Trees
- An Optimal Algorithm for Cardinality-Constrained Diameter Partitioning
- Essential Convexity and Complexity of Semi-Algebraic Constraints