Backtrack Search with Isomorph Rejection and Consistency Check.
Clement W. H. LamLarry H. ThielPublished in: J. Symb. Comput. (1989)
Keyphrases
- consistency check
- backtrack search
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- highly efficient
- sat solvers
- branch and bound algorithm
- propositional satisfiability
- search algorithm
- feature points
- search strategies
- search space
- solving hard
- stereo matching
- combinatorial problems
- global constraints
- np complete
- low cost
- randomly generated
- orders of magnitude
- np hard
- upper bound
- combinatorial optimization
- lower bound
- heuristic search
- object recognition
- three dimensional