Publicaciones

New Insights into Encodings from MaxCSP into Partial MaxSAT

Tipo de Publicación:

Conference Paper

Origen:

40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society, Barcelona, p.46-52 (2010)

ISBN:

978-0-7695-4024-5

Palabras clave:

Max-SAT; Max-CSP; encodings

Proyectos: