A new algorithm for Weighted Partial MaxSAT

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/16113

Title:	A new algorithm for Weighted Partial MaxSAT
Author:	Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
Other authors:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
Abstract:	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.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -Problem solving -Solució de problemes
Rights:
Document type:	Article - Published version Conference Object
Share: