Jian Zhang

Latest

• Can Graph Neural Networks Learn to Solve MaxSAT Problem?
• Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10