Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/155763
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | A Clause Tableau Calculus for MinSAT |
Autor: | Li, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | Palabras clave: | SAT MinSAT Maxsat Clause |
Fecha de publicación: | 19-oct-2016 | Editor: | International Joint Conferences on Artificial Intelligence | Citación: | IJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, pp. 766-772 | Resumen: | We 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. | URI: | http://hdl.handle.net/10261/155763 | DOI: | 10.3233/978-1-61499-696-5-88 | Identificadores: | doi: 10.3233/978-1-61499-696-5-88 issn: 10450823 |
Aparece en las colecciones: | (IIIA) Comunicaciones congresos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
IJCAI 2016_766-772.txt | 251,55 kB | Unknown | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
6
checked on 31-mar-2024
WEB OF SCIENCETM
Citations
3
checked on 28-feb-2024
Page view(s)
252
checked on 22-abr-2024
Download(s)
126
checked on 22-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.