Mao Luo, Chu Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü. An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 703-711, ijcai.org, 2017. [doi]
@inproceedings{LuoLXML17, title = {An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers}, author = {Mao Luo and Chu Min Li and Fan Xiao and Felip Manyà and Zhipeng Lü}, year = {2017}, doi = {10.24963/ijcai.2017/98}, url = {https://doi.org/10.24963/ijcai.2017/98}, researchr = {https://researchr.org/publication/LuoLXML17}, cites = {0}, citedby = {0}, pages = {703-711}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017}, editor = {Carles Sierra}, publisher = {ijcai.org}, isbn = {978-0-9992411-0-3}, }