Cardinal

swMATH6999MaRDI QIDQ19062FDOQ19062

Author name not available (Why is that?)

Described by source

• Cardinal: a finite sets constraint solver

Cited In (9)

• Solving quantifier-free first-order constraints over finite sets and binary relations
• Improved filtering for weighted circuit constraints
• A Decision Procedure for Sets, Binary Relations and Partial Functions
• Combining Two Structured Domains for Modeling Various Graph Matching Problems
• Lazy Constraint Imposing for Improving the Path Constraint
• 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
• Fast Set Bounds Propagation Using a BDD-SAT Hybrid

This page was built for software: Cardinal