Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes. Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 582-587, Springer, 2008. [doi]
@inproceedings{LiMMP08,
title = {Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation},
author = {Chu Min Li and Felip Manyà and Nouredine Ould Mohamedou and Jordi Planes},
year = {2008},
doi = {10.1007/978-3-540-85958-1_46},
url = {http://dx.doi.org/10.1007/978-3-540-85958-1_46},
researchr = {https://researchr.org/publication/LiMMP08},
cites = {0},
citedby = {0},
pages = {582-587},
booktitle = {Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
editor = {Peter J. Stuckey},
volume = {5202},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85957-4},
}