Cardinal
From MaRDI portal
Cited in
(19)- Fast set bounds propagation using a BDD-SAT hybrid
- Lazy constraint imposing for improving the path constraint
- Combining Two Structured Domains for Modeling Various Graph Matching Problems
- CLPS-B
- NP-SPEC
- CLAIRE
- MUNCH
- A decision procedure for sets, binary relations and partial functions
- CaSPER
- CPGraph
- Z/EVES
- GRASPER
- GraphGrep
- JSetL
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Improved filtering for weighted circuit constraints
- Multiset variable representations and constraint propagation
- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem
- Integrating finite domain and set constraints into a set-based constraint language
This page was built for software: Cardinal
