Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon. Optimizing with minimum satisfiability. Artificial Intelligence, 190:32-44, 2012. [doi]
@article{LiZMS12,
title = {Optimizing with minimum satisfiability},
author = {Chu Min Li and Zhu Zhu and Felip Manyà and Laurent Simon},
year = {2012},
doi = {10.1016/j.artint.2012.05.004},
url = {http://dx.doi.org/10.1016/j.artint.2012.05.004},
researchr = {https://researchr.org/publication/LiZMS12},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {190},
pages = {32-44},
}