New inference Rules for efficient Max-SAT Solving

Heras Viaga Federico, Javier Larrosa

In this paper we augment a Max-SAT solver with three new inference rules. The three of them are special cases of Max-SAT resolution with which better lower bounds and more value pruning is achieved. Our experimental results on several domains show that the resulting algorithm can be orders of magnitude faster than state-of-the-art Max-SAT solvers and the best Weighted CSP solver.

Subjects: 15. Problem Solving

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.