Travelled to:1 × Belgium
1 × China
1 × Portugal
3 × USA
3 × United Kingdom
Collaborated with:F.Manyà P.Y.Gloess B.Jurkowiak J.Argelich J.Planes W.Huang H.Bennaceur W.Wei H.Zhang P.W.Purdom G.Utard Z.Quan Z.Zhu N.O.Mohamedou Y.Huang M.Hernandez C.Ansótegui R.Béjar A.Cabiscol
Talks about:sat (6) max (3) search (2) local (2) preprocessor (1) character (1) workload (1) symmetri (1) structur (1) procedur (1)
Person: Chu Min Li
DBLP: Li:Chu_Min
Contributed to:
20112010200920082007200520022001
1992
1992Wrote 14 papers:
- SAT-2011-ArgelichLMP #evaluation #satisfiability
- Analyzing the Instances of the MaxSAT Evaluation (JA, CML, FM, JP), pp. 360–361.
- SAT-2010-LiMQZ #satisfiability
- Exact MinSAT Solving (CML, FM, ZQ, ZZ), pp. 363–368.
- SAT-2009-LiMMP #satisfiability
- Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.
- SAT-2008-ArgelichLM #preprocessor #satisfiability
- A Preprocessor for Max-SAT Solvers (JA, CML, FM), pp. 15–20.
- SAT-2007-LiWZ #adaptation #satisfiability
- Combining Adaptive Noise and Look-Ahead in Local Search for SAT (CML, WW, HZ), pp. 121–133.
- SAT-2005-LiH #satisfiability
- Diversification and Determinism in Local Search for Satisfiability (CML, WH), pp. 158–172.
- SAT-2002-LiB #empirical #satisfiability
- An empirical measure for characterizing 3-SAT (CML, HB), p. 35.
- SAT-2002-LiJP #symmetry
- Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.
- SAT-2002-ManyaABCL
- Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.
- SAT-2001-JurkowiakLU #using
- Parallelizing Satz Using Dynamic Workload Balancing (BJ, CML, GU), pp. 174–189.
- PLILP-1992-LiG #logic #named
- ProQuery: Logical Access to an OODB (CML, PYG), pp. 487–488.
- WSA-1992-GloessHLH #on the
- On Boolean Feature Types (PYG, YNH, CML, MAH), pp. 213–220.