Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT.

Carsten Fuhs Peter Schneider-Kamp

Published in: SAT (2010)

Keyphrases

straight line
hough transform
line detection
line segments
feature points
shortest path
curvature estimation
search algorithm
radon transform
satisfiability problem
straight line segments
machine learning
high quality
camera calibration
intersection points