Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.

Zhaohui Fu, Sharad Malik

Browse the full ICCAD paper archive.