A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs.
Philippe JégouSamba NdiayeCyril TerriouxPublished in: ICTAI (1) (2008)
Keyphrases
- forward checking
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- variable ordering
- conflict directed
- ordering heuristics
- constraint propagation
- constraint networks
- maintaining arc consistency
- tree search
- backtracking algorithm
- genetic algorithm
- dynamic programming
- hypertree decomposition
- np hard
- search space
- computational complexity