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 | |
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Li, Chumin | - |
dc.contributor.author | Manyà, Felip | - |
dc.contributor.author | Soler, Joan Ramon | - |
dc.date.accessioned | 2017-09-27T15:22:06Z | - |
dc.date.available | 2017-09-27T15:22:06Z | - |
dc.date.issued | 2016-10-19 | - |
dc.identifier | doi: 10.3233/978-1-61499-696-5-88 | - |
dc.identifier | issn: 10450823 | - |
dc.identifier.citation | IJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, pp. 766-772 | - |
dc.identifier.uri | http://hdl.handle.net/10261/155763 | - |
dc.description.abstract | 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. | - |
dc.description.sponsorship | We thank the anonymous reviewers for very valuable and constructive comments. This research was partially supported by National Natural Science Foundation of China (Grant no. 61472147), Generalitat de Catalunya grant AGAUR 2014-SGR-118, and Ministerio de Economía y Competitividad project RASO TIN2015-71799-C2-1-P. The second author was supported by Mobility Grant PRX16/00215 of the Ministerio de Educación, Cultura y Deporte. | - |
dc.publisher | International Joint Conferences on Artificial Intelligence | - |
dc.relation.isversionof | Postprint | - |
dc.rights | openAccess | - |
dc.subject | SAT | - |
dc.subject | MinSAT | - |
dc.subject | Maxsat | - |
dc.subject | Clause | - |
dc.title | A Clause Tableau Calculus for MinSAT | - |
dc.type | artículo | - |
dc.identifier.doi | 10.3233/978-1-61499-696-5-88 | - |
dc.date.updated | 2017-09-27T15:22:08Z | - |
dc.description.version | Peer Reviewed | - |
dc.language.rfc3066 | eng | - |
dc.contributor.funder | National Natural Science Foundation of China | - |
dc.contributor.funder | Generalitat de Catalunya | - |
dc.contributor.funder | Ministerio de Economía y Competitividad (España) | - |
dc.contributor.funder | Ministerio de Educación, Cultura y Deporte (España) | - |
dc.relation.csic | Sí | - |
dc.identifier.funder | http://dx.doi.org/10.13039/501100002809 | es_ES |
dc.identifier.funder | http://dx.doi.org/10.13039/501100001809 | es_ES |
dc.identifier.funder | http://dx.doi.org/10.13039/501100003176 | es_ES |
dc.identifier.funder | http://dx.doi.org/10.13039/501100003329 | es_ES |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 | es_ES |
item.openairetype | artículo | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | With Fulltext | - |
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 23-mar-2024
WEB OF SCIENCETM
Citations
3
checked on 28-feb-2024
Page view(s)
252
checked on 28-mar-2024
Download(s)
125
checked on 28-mar-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.