An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers

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]

Abstract

Abstract is missing.