A new algorithm for Weighted Partial MaxSAT

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/16113

Título:	A new algorithm for Weighted Partial MaxSAT
Autor/a:	Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
Otros autores:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
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.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -Problem solving -Solució de problemes
Derechos:
Tipo de documento:	Artículo - Versión publicada Objeto de conferencia
Compartir:

Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Gabàs, Joel; Levy Díaz, Jordi

Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Giráldez Crú, Jesús; Levy Díaz, Jordi; Simon, Laurent

Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi

Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Giráldez Crú, Jesús; Levy Díaz, Jordi

Aisenberg, James; Bonet Carbonell, M. Luisa; Buss, Sam; Craciun, Adrian; Istrate, Gabriel

Coordinación

Patrocinio