Defining and Evaluating Heuristics for the Compilation of Constraint Networks.
Jean-Marie LagniezPierre MarquisAnastasia PaparrizouPublished in: CP (2017)
Keyphrases
- constraint networks
- tree decomposition
- temporal reasoning
- temporal constraint networks
- constraint satisfaction
- admissible heuristics
- constraint satisfaction problems
- constraint programming
- set intersection
- tree width
- path consistency
- arc consistency
- scene labeling
- search algorithm
- heuristic search
- instruction scheduling
- complexity bounds
- knowledge compilation
- backtracking algorithm
- temporal constraints
- backtracking algorithms
- knowledge base
- qualitative spatial and temporal reasoning