Dynamization of Backtrack-Free Search for the Constraint Satisfaction Problem.
Daniele FrigioniAlberto Marchetti-SpaccamelaUmberto NanniPublished in: CIAC (1994)
Keyphrases
- constraint satisfaction problems
- forward checking
- backtrack search
- search space
- constraint satisfaction
- search algorithm
- constraint propagation
- constraint programming
- arc consistency
- np complete
- search problems
- tree search
- variable ordering
- symmetry breaking
- search tree
- highly efficient
- search strategies
- constraint networks
- decomposition methods
- constraint solving
- constraint solver
- np hard
- distributed constraint satisfaction
- non binary
- pseudo boolean optimization
- ordering heuristics
- reasoning problems
- constraint problems
- combinatorial problems
- distributed search
- sat problem
- disjunctive constraints
- search strategy
- finding optimal solutions
- partial constraint satisfaction
- tractable subclasses
- heuristic search