Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10459.1/56663
Título:
|
Modelling Max-CSP as Partial Max-SAT
|
Autor/a:
|
Argelich Romà, Josep; Cabiscol i Teixidó, Alba; Lynce, Inês; Manyà Serres, Felip
|
Notas:
|
We define a number of original encodings that map MaxCSP
instances into partial Max-SAT instances. Our encodings rely on the
well-known direct and support encodings from CSP into SAT. Then, we
report on an experimental investigation that was conducted to compare
the performance profile of our encodings on random binary Max-CSP
instances. Moreover, we define a new variant of the support encoding
from CSP into SAT which produces fewer clauses than the standard
support encoding.
This research was funded by MEC research projects TIN2006-15662-C02-02, TIN2007-68005-C04-04 and Acci´on Integrada HP2005-0147, and FCT research projects SATPot (POSC/EIA/61852/2004) and SHIPs (PTDC/EIA/64164/2006). |
Derechos:
|
(c) Springer Verlag, 2008
|
Tipo de documento:
|
article acceptedVersion |
Editor:
|
Springer Verlag
|
Compartir:
|
|
Documentos con el texto completo de este documento
Mostrar el registro completo del ítem