Sciweavers

IJCAI
2007

152views Artificial Intelligence» more IJCAI 2007»

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving

14 years 1 months ago

In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...

Han Lin, Kaile Su

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers