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

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
January 2021
PDF DOI
Type
Conference paper
Publication
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Conf