Re-using Auxiliary Variables for MaxSAT Preprocessing.

Jeremias Berg Paul Saikko Matti Järvisalo

Published in: ICTAI (2015)

Keyphrases

auxiliary variables
preprocessing
higher order
deformable models
upper bound
graph cuts
half quadratic
combinatorial optimization
feature extraction
image analysis
sat solvers
image processing
face recognition
pattern recognition
markov random field
active contours