Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Evaluation  [Clear All Filters]
2008
Argerlich J., Li CMin, Manyà F, Planes J.  2008.  The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation. 4:251-278.