Searching for "Compiling constraint satisfaction problems." – sorted by Relevance.
-
Compiling Constraint Satisfaction Problems
- Compiling Constraint Satisfaction Problems Rainer Weigel and Boi Faltings Artificial Intelligence
- Cited by 27 (1 self) – Add To MetaCart
-
On Automata, MDDs and BDDs in Constraint Satisfaction
- (BDDs) as currently used for compiling constraint satisfaction problems (CSPs). We highlight
- Add To MetaCart
-
Decision diagrams: Fast and flexible support for case retrieval and recommendation
- strand of research into compiling Constraint Satisfaction Problems (CSPs). Our contribution is to apply
- Cited by 1 (0 self) – Add To MetaCart

