Jian Zhang

最新

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