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]
@inproceedings{LiMS16-3, title = {A Clause Tableau Calculus for MinSAT}, author = {Chu Min Li and Felip Manyà and Joan Ramon Soler}, year = {2016}, doi = {10.3233/978-1-61499-696-5-88}, url = {http://dx.doi.org/10.3233/978-1-61499-696-5-88}, researchr = {https://researchr.org/publication/LiMS16-3}, cites = {0}, citedby = {0}, pages = {88-97}, booktitle = {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}, editor = {Àngela Nebot and Xavier Binefa and Ramon López de Mántaras}, volume = {288}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-696-5}, }