Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is O. Kullmann  [Clear All Filters]
2009
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. 5584:427-440.