Chu Min Li, Felip Manyà, Joan Ramon Soler. A Clause Tableau Calculus for MinSAT. In Àngela Nebot, Xavier Binefa, Ramon López de Mántaras, editors, Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016. Volume 288 of Frontiers in Artificial Intelligence and Applications, pages 88-97, IOS Press, 2016. [doi]
Abstract is missing.