Modular lazy search for Constraint Satisfaction Problems.
Thomas NordinAndrew P. TolmachPublished in: J. Funct. Program. (2001)
Keyphrases
- constraint satisfaction problems
- search space
- constraint satisfaction
- forward checking
- backtracking search
- constraint programming
- constraint propagation
- symmetry breaking
- np complete
- constraint solver
- non binary
- search algorithm
- solving constraint satisfaction problems
- backtrack search
- search problems
- constraint solving
- combinatorial problems
- search strategies
- constraint networks
- maintaining arc consistency
- ordering heuristics
- arc consistency
- finite domain
- np hard
- partial assignment
- global constraints
- search strategy
- pseudo boolean optimization
- constraint graph
- constraint problems
- reduce the search space
- soft constraints
- temporal constraints
- variable ordering
- path consistency
- graph coloring problems
- dynamic constraint satisfaction problems