Sign in

SMT Solving for the Theory of Ordering Constraints.

Cunjing GeFeifei MaJeff HuangJian 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