Similar Items: Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$
- Monotonicity Constraints for Termination in the Integer Domain
- Constraint solving in non-permutative nominal abstract syntax
- Reasoning with Finite Sets and Cardinality Constraints in SMT
- Finite Expression Method for Solving High-Dimensional Partial Differential Equations
- Automata Linear Dynamic Logic on Finite Traces
- Fine-grained Analysis and Faster Algorithms for Iteratively Solving Linear Systems