Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Michela Milano  [Clear All Filters]
2012
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.