Jian Zhang

Latest

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