English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/155763
logo share SHARE logo core CORE   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 Clause Tableau Calculus for MinSAT

AuthorsLi, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC
Issue Date19-Oct-2016
PublisherInternational Joint Conferences on Artificial Intelligence
CitationIJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, pp. 766-772
AbstractWe define a clause tableau calculus for MinSAT, and prove its soundness and completeness. The calculus allows one to compute the maximum number of clauses that can be falsified in a multiset of clauses by applying, finitely many times, tableaux-like inference rules. We also describe how the calculus can be extended to solve weighted MinSAT and weighted partial MinSAT.
Identifiersdoi: 10.3233/978-1-61499-696-5-88
issn: 10450823
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
IJCAI 2016_766-772.txt251,55 kBUnknownView/Open
Show full item record
Review this work

Related articles:

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