Pages that link to "Item:Q879977"
From MaRDI portal
The following pages link to Cardinal: a finite sets constraint solver (Q879977):
Displaying 11 items.
- Cardinal (Q19062) (← links)
- Multiset variable representations and constraint propagation (Q481702) (← links)
- Probabilistic constraints for nonlinear inverse problems (Q481705) (← links)
- Improved filtering for weighted circuit constraints (Q487627) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Enhancing set constraint solvers with lexicographic bounds (Q2476614) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- More Efficient Match-Making and Satisfiability The Five Card Trick (Q5110898) (← links)
- Lazy Constraint Imposing for Improving the Path Constraint (Q5170285) (← links)
- Combining Two Structured Domains for Modeling Various Graph Matching Problems (Q5302726) (← links)