swMATH6999MaRDI QIDQ19062FDOQ19062
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1232665
Cited In (17)
- 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
- CLAIRE
- MUNCH
- CaSPER
- CPGraph
- Z/EVES
- GRASPER
- Combining Two Structured Domains for Modeling Various Graph Matching Problems
- GraphGrep
- JSetL
- 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
