An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.

Mao Luo, Chu-Min Li, Fan Xiao, Felip Many, Zhipeng L

Browse the full IJCAI paper archive.