Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Biere, Armin  [Clear All Filters]
2009
Li CMin, Manyà F.  2009.  MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. 185:613-631.