Improving WPM2 for (Weighted) Partial MaxSAT

Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy. Improving WPM2 for (Weighted) Partial MaxSAT. In Christian Schulte, editor, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. Volume 8124 of Lecture Notes in Computer Science, pages 117-132, Springer, 2013. [doi]

Abstract

Abstract is missing.