Mostra el registre d'ítem simple
A new algorithm for Weighted Partial MaxSAT
| dc.contributor.author | Ansótegui, Carlos |
| dc.contributor.author | Bonet Carbonell, M. Luisa |
| dc.contributor.author | Levy Díaz, Jordi |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
| dc.date.accessioned | 2012-06-21T09:36:14Z |
| dc.date.created | 2011 |
| dc.date.issued | 2011 |
| dc.identifier.citation | Ansótegui, C.; Bonet, M.; Levy, J. A new algorithm for Weighted Partial MaxSAT. A: AAAI Conference on Artificial Intelligence. "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010". 2011, p. 3-8. |
| dc.identifier.uri | http://hdl.handle.net/2117/16113 |
| dc.description.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. |
| dc.format.extent | 6 p. |
| dc.language.iso | eng |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial |
| dc.subject.lcsh | Problem solving |
| dc.title | A new algorithm for Weighted Partial MaxSAT |
| dc.type | Conference report |
| dc.subject.lemac | Solució de problemes |
| dc.contributor.group | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
| dc.description.peerreviewed | Peer Reviewed |
| dc.rights.access | Restricted access - publisher's policy |
| local.identifier.drac | 5291256 |
| dc.description.version | Postprint (published version) |
| dc.date.lift | 10000-01-01 |
| local.citation.author | Ansótegui, C.; Bonet, M.; Levy, J. |
| local.citation.contributor | AAAI Conference on Artificial Intelligence |
| local.citation.publicationName | Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010 |
| local.citation.startingPage | 3 |
| local.citation.endingPage | 8 |