AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Chu Min Li

Chu Min Li

Université de Picardie Jules Verne - Amiens / France
Others
AD Scientific Index ID: 1708714
University of Picardy Jules Verne
person_outline Chu Min Li's MOST POPULAR ARTICLES
1-) Heuristics based on unit propagation for satisfiability problems Proceedings of the 15th international joint conference on Artifical …, 1997
2-) MaxSAT, hard and soft constraints Handbook of satisfiability, 613-631, 2009
3-) New inference rules for Max-SAT Journal of Artificial Intelligence Research 30, 321-359, 2007
4-) Look-ahead versus look-back for satisfiability problems International Conference on Principles and Practice of Constraint …, 1997
5-) Integrating equivalency reasoning into Davis-Putnam procedure AAAI/IAAI 2000, 291-296, 2000