An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mao Luo' in GoogleThis author has not been identified. Look up 'Chu Min Li' in GoogleThis author has not been identified. Look up 'Fan Xiao' in GoogleThis author has not been identified. Look up 'Felip Manyà' in GoogleThis author has not been identified. Look up 'Zhipeng Lü' in Google

runs on WebDSL