2 search results - page 1 / 1 » Exploiting Inference Rules to Compute Lower Bounds for MAX-S... |
IJCAI
2007
13 years 8 months ago
2007
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...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Distributed Lagrangian Relaxation Protocol (DisLRP) has been proposed to solve a distributed combinatorial maximization problem called the Generalized Mutual Assignment Problem (G...