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]
Abstract is missing.