Publicaciones

Analyzing the Instances of the MaxSAT Evaluation

Tipo de Publicación:

Conference Paper

Autores:

J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes

Origen:

14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, Springer, Volumen6695, Ann Arbor, MI, USA, p.360-361 (2011)

ISBN:

978-3-642-21580-3

Proyectos: 
AT
»