The following pages link to Cardinal (Q19062):
Displaying 9 items.
- Multiset variable representations and constraint propagation (Q481702) (← links)
- Improved filtering for weighted circuit constraints (Q487627) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language (Q3400565) (← links)
- Fast Set Bounds Propagation Using a BDD-SAT Hybrid (Q3579357) (← links)
- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem (Q3608442) (← links)
- A Decision Procedure for Sets, Binary Relations and Partial Functions (Q4633533) (← links)
- Lazy Constraint Imposing for Improving the Path Constraint (Q5170285) (← links)
- Combining Two Structured Domains for Modeling Various Graph Matching Problems (Q5302726) (← links)
