Pictorial pattern recognition by Boolean formulas.

Ventzeslav Valev

Published in: Theoretical Foundations of Computer Vision (1992)

Keyphrases

pattern recognition
boolean formula
sat solvers
unsatisfiable cores
linear constraints
machine learning
neural network
practical problems
boolean variables
max sat
data structure
np complete
membership queries
sat problem
search algorithm
dynamic programming
genetic algorithm