Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon. Minimum Satisfiability and Its Applications. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 605-610, IJCAI/AAAI, 2011. [doi]
@inproceedings{LiZMS11,
title = {Minimum Satisfiability and Its Applications},
author = {Chu Min Li and Zhu Zhu and Felip Manyà and Laurent Simon},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-108.pdf},
researchr = {https://researchr.org/publication/LiZMS11},
cites = {0},
citedby = {0},
pages = {605-610},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}