SMT Solving for the Theory of Ordering Constraints.

Cunjing Ge Feifei Ma Jeff Huang Jian Zhang

Published in: LCPC (2015)

Keyphrases

ordering constraints
htn planning
computer vision
markov random field
graph cuts
multiscale
objective function
dynamic programming
object detection
medical images
graph cut segmentation