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]

@inproceedings{AnsoteguiBGL13,
  title = {Improving WPM2 for (Weighted) Partial MaxSAT},
  author = {Carlos Ansótegui and Maria Luisa Bonet and Joel Gabàs and Jordi Levy},
  year = {2013},
  doi = {10.1007/978-3-642-40627-0_12},
  url = {http://dx.doi.org/10.1007/978-3-642-40627-0_12},
  researchr = {https://researchr.org/publication/AnsoteguiBGL13},
  cites = {0},
  citedby = {0},
  pages = {117-132},
  booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  editor = {Christian Schulte},
  volume = {8124},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40626-3},
}