A new algorithm for Weighted Partial MaxSAT

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/16113

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor	Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.contributor.author	Ansótegui, Carlos
dc.contributor.author	Bonet Carbonell, M. Luisa
dc.contributor.author	Levy Díaz, Jordi
dc.date	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.language.iso	eng
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject	Problem solving
dc.subject	Solució de problemes
dc.title	A new algorithm for Weighted Partial MaxSAT
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
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.description.abstract	Peer Reviewed