Chu Min Li
Author
Alternate names Chu Min Li, Chu‐Min Li
Institution Modélisation, information et systèmes
Past institutions Modélisation, information et systèmes, Université de Toulon, Laboratoire d’Informatique et Systèmes, Centre National de la Recherche Scientifique, Université de Picardie Jules Verne +4 more
H-index: 20
I10-index: 31
Works count: 72
Citations count: 1,675
Heuristics based on unit propagation for satisfiability problems
1997 · Chu Min Li, Anbulagan Anbulagan · International Joint Conference on Artificial Intelligence
Integrating Equivalency Reasoning into Davis-Putnam Procedure
2000 · Chu Min Li · National Conference on Artificial Intelligence
Diversification and Determinism in Local Search for Satisfiability
2005 · Chu Min Li, Wen Huang · Lecture notes in computer science