Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik

Browse the full ICCAD paper archive.