Publications

Analyzing the Instances of the MaxSAT Evaluation

Publication Type:

Conference Paper

Authors:

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

Source:

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

ISBN:

978-3-642-21580-3

Projects: 
AT
»