A New Algorithm for Weighted Partial MaxSAT

13 years 2 months ago

Download www.informatik.uni-freiburg.de

We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other Weighted Partial MaxSAT solvers.

Carlos Ansótegui, Maria Luisa Bonet, Jordi

Real-time Traffic

AAAI 2010 | Intelligent Agents | Partial MaxSAT Solvers | Successive Calls | Weighted Partial MaxSAT |

claim paper

» Approximating Weighted MaxSAT Problems by Compensating for Relaxations

» MaxSolver An efficient exact algorithm for weighted maximum satisfiability

» Symmetry Breaking for Maximum Satisfiability

» Exploiting Cycle Structures in MaxSAT

» Iterated Robust Tabu Search for MAXSAT

» On the Problem of Weighted MaxDLSAT and its Application to Image Labeling

» Visualizing differences in web search algorithms using the expected weighted hoeffding dis...

» Partially Dynamic Concurrent Update of Distributed Shortest Paths

Post Info
More Details (n/a)

Added	09 Feb 2011
Updated	09 Feb 2011
Type	Journal
Year	2010
Where	AAAI
Authors	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

Comments (0)

Sciweavers

A New Algorithm for Weighted Partial MaxSAT

AAAI 2010 | Intelligent Agents | Partial MaxSAT Solvers | Successive Calls | Weighted Partial MaxSAT |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers