Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT.

Chu Min Li, Felip Many, Jordi Planes

Browse the full AAAI paper archive.