BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

SAT 20112011
SAT 20102010
SAT 20092009
SAT 20082008
SAT 20072007
SAT 20052005
SAT 20022002
SAT 20012001
PLILP 19921992
WSA 19921992

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.