Zhipeng L\"u

Identifiers

• name variant Zhipeng L\"u 0.60 · backfill

Papers (2)

1. Clause Vivification by Unit Propagation in CDCL SAT Solvers cs.AI · 2018 · author #5
2. Solving the minimum sum coloring problem via binary quadratic programming cs.DS · 2013 · author #4

Mentions

• 1304.5876 #4 · backfill · confidence 0.70 Zhipeng L\"u

Frequent Coauthors

• Chu-Min Li 1 shared papers
• Fan Xiao 1 shared papers
• Felip Many\`a 1 shared papers
• Fred Glover 1 shared papers
• Jin-Kao Hao 1 shared papers
• Mao Luo 1 shared papers
• Yang Wang 1 shared papers
• Yu Li 1 shared papers