Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
一月 2021
PDF DOI
类型
会议文章
出版物
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Conf