Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics.
Tomás MüllerPublished in: CP (2004)
Keyphrases
- search algorithm
- search space
- global search
- heuristic search
- search problems
- maintaining arc consistency
- systematic search
- tabu search
- search methods
- hill climbing
- branch and bound
- search strategy
- search tree
- conflict resolution
- satisfiability problem
- search procedure
- constraint satisfaction problems
- tree search
- genetic algorithm
- combinatorial optimization
- max sat
- search procedures
- forward checking
- simulated annealing