Fingerprint
Dive into the research topics of 'Solving the minimum-cost satisfiability problem using sat based branch-and-bound search'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Solving the minimum-cost satisfiability problem using sat based branch-and-bound search
Zhaohui Fu, Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
26
Scopus
citations