SAT Solving with Reference Points.

Stephan Kottler

Published in: SAT (2010)

Keyphrases

reference points
sat solving
reference point
sat solvers
boolean satisfiability
sat problem
critical points
fingerprint images
position and orientation
computer vision
symmetry breaking
sat encodings
image processing
search space
orders of magnitude
constraint satisfaction