Publicaciones

Sequential Encodings from Max-CSP into Partial Max-SAT

Tipo de Publicación:

Conference Paper

Autores:

J. Argerlich; Alba Cabiscol; Ines Lynce; Felip Manyà

Origen:

12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), VolumenLNCS 5584, Swansea, UK, p.161-166 (2009)

Proyectos: 
AT
»