Exact Template Matching Using Boolean Satisfiability.
Nabila AbdessaiedMathias SoekenRobert WilleRolf DrechslerPublished in: ISMVL (2013)
Keyphrases
- template matching
- boolean satisfiability
- sat solvers
- sat problem
- probabilistic planning
- boolean optimization
- randomly generated
- branch and bound algorithm
- integer linear programming
- matching algorithm
- deformable templates
- object recognition
- symmetry breaking
- phase transition
- max sat
- image matching
- sat instances
- branch and bound
- combinatorial problems
- gray scale
- learning algorithm
- boolean formula
- np complete
- optimal solution
- planning under uncertainty
- column generation
- orders of magnitude
- constraint satisfaction