Carlos Ansótegui, Joel Gabàs. Solving (Weighted) Partial MaxSAT with ILP. In Carla P. Gomes, Meinolf Sellmann, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Volume 7874 of Lecture Notes in Computer Science, pages 403-409, Springer, 2013. [doi]
Abstract is missing.