An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.
Miguel A. SalidoFederico BarberPublished in: CP (2001)
Keyphrases
- non binary
- constraint satisfaction problems
- search algorithm
- search space
- arc consistency
- constraint solving
- constraint satisfaction
- solving constraint satisfaction problems
- distributed constraint satisfaction problems
- constraint propagation
- tree search
- backtracking algorithms
- backtracking search
- binary representation
- search tree
- constraint programming
- incremental learning
- heuristic search
- np complete
- soft constraints
- branch and bound
- forward checking
- np hard
- probabilistic model
- binary csps
- sat problem
- multi dimensional
- frequent pattern mining
- optimal solution
- temporal constraints