Sciweavers

AAAI
2006

112views Intelligent Agents» more AAAI 2006»

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

14 years 7 days ago

Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...

Chu Min Li, Felip Manyà, Jordi Planes

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers