Cardinal

swMATH6999MaRDI QIDQ19062FDOQ19062

Author name not available (Why is that?)

Described by source

• Cardinal: a finite sets constraint solver

Cited In (9)

• Lazy constraint imposing for improving the path constraint
• Solving quantifier-free first-order constraints over finite sets and binary relations
• Improved filtering for weighted circuit constraints
• Integrating finite domain and set constraints into a set-based constraint language
• Fast set bounds propagation using a BDD-SAT hybrid
• 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
• An Attempt to Dynamically Break Symmetries in the Social Golfers Problem

This page was built for software: Cardinal