Cardinal

MaRDI QIDQ19062swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1232665

Described by source

• Cardinal: a finite sets constraint solver

Cited in

(19)

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

This page was built for software: Cardinal