@conference {4401, title = {Minimum Satisfiability and Its Applications}, booktitle = {22nd International Joint Conference on Artificial Intelligence, IJCAI 2011}, year = {2011}, pages = {605-610}, address = {Barcelona, Catalonia, Spain}, author = {Chu Min Li and Zhu Zhu and Felip Many{\`a} and Laurent Simon} }