Cardinal
From MaRDI portal
Software:19062
No author found.
Related Items (9)
Combining Two Structured Domains for Modeling Various Graph Matching Problems ⋮ Multiset variable representations and constraint propagation ⋮ A Decision Procedure for Sets, Binary Relations and Partial Functions ⋮ Improved filtering for weighted circuit constraints ⋮ Lazy Constraint Imposing for Improving the Path Constraint ⋮ Fast Set Bounds Propagation Using a BDD-SAT Hybrid ⋮ An Attempt to Dynamically Break Symmetries in the Social Golfers Problem ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
This page was built for software: Cardinal
