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]

Authors

Carlos Ansótegui

This author has not been identified. Look up 'Carlos Ansótegui' in Google

Maria Luisa Bonet

This author has not been identified. Look up 'Maria Luisa Bonet' in Google

Joel Gabàs

This author has not been identified. Look up 'Joel Gabàs' in Google

Jordi Levy

This author has not been identified. Look up 'Jordi Levy' in Google