English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/244053
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:


A New Algorithm for Weighted Partial MaxSAT

AuthorsAnsotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi CSIC ORCID
Issue Date11-Jul-2010
CitationCarlos Ansótegui, María Luisa Bonet, & Jordi Levy (2010). A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010 .
AbstractWe 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.
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
A New Algorithm for Weighted Partial MaxSAT∗.pdf189,18 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.