Export 3 results:
Author Title [ Type(Asc)] Year
Filters: Author is Joel Gabàs  [Clear All Filters]
Conference Paper
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2013.  Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2012.  Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12. 7514:86-101.