TítuloAnalyzing the Instances of the MaxSAT Evaluation
Publication TypeConference Paper
Year of Publication2011
AuthorsArgerlich J., Li CMin, Manyà F, Planes J
Conference Name14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011
Volume6695
EditorialSpringer
Conference LocationAnn Arbor, MI, USA
Paginación360-361
ISBN Number978-3-642-21580-3