Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu. A SAT-Based Approach to MinSAT. In David Riaño 0001, Eva Onaindia, Miguel Cazorla, editors, Artificial Intelligence Research and Development - Proceedings of the 15th International Conference of the Catalan Association for Artificial Intelligence, University of Alacant, Spain, October 24-26, 2012. Volume 248 of Frontiers in Artificial Intelligence and Applications, pages 185-189, IOS Press, 2012. [doi]
Abstract is missing.