Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Browse the full CP paper archive.