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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.