I agree that this site is using cookies. You can find further informations here.
X
Li, Chu Min
1204  results:
OpenAccess-fulltext X
Search for persons X
?
1

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu, Min ; Manyà, Felip.
info:eu-repo/semantics/altIdentifier/doi/10.1093/jigpal/jzz025.  , 2019
Link: https://hal.science/hal-..
 
?
2

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu, Min ; Manyà, Felip.
info:eu-repo/semantics/altIdentifier/doi/10.1093/jigpal/jzz025.  , 2019
Link: https://hal.science/hal-..
 
?
3

Sum Coloring : New upper bounds for the chromatic strength:

Lecat, Clément ; Lucet, Corinne ; Li, Chu Min
hal-01321029.  , 2016
Link: https://hal.science/hal-..
 
?
4

Combining Efficient Preprocessing and Incremental MaxSAT Re..:

Jiang, Hua ; Li, Chu Min ; Manyà, Felip
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2016
Link: http://hdl.handle.net/10..
 
?
5

Sum Coloring : New upper bounds for the chromatic strength:

Lecat, Clément ; Lucet, Corinne ; Li, Chu Min
hal-01321029.  , 2016
Link: https://hal.archives-ouv..
 
?
6

Exact methods for the minimum sum coloring problem:

Lecat, Clément ; Li, Chu Min ; Lucet, Corinne.
hal-01326666.  , 2015
Link: https://hal.science/hal-..
 
?
7

Exact methods for the minimum sum coloring problem:

Lecat, Clément ; Li, Chu Min ; Lucet, Corinne.
hal-01326666.  , 2015
Link: https://hal.archives-ouv..
 
?
8

An Exact Inference Scheme for MinSAT:

Li, Chu Min ; Manyà, Felip
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2015
Link: http://hdl.handle.net/10..
 
?
9

Un Algorithme de séparation et évaluation Efficace Basé sur..:

Li, Chu Min ; Quan, Zhe
inria-00520317.  , 2010
Link: https://hal.inria.fr/inr..
 
?
10

Résolution exacte de MinSAT:

Li, Chu Min ; Manya, Felip ; Quan, Zhe.
inria-00520378.  , 2010
Link: https://hal.inria.fr/inr..
 
?
11

Un Algorithme de séparation et évaluation Efficace Basé sur..:

Li, Chu Min ; Quan, Zhe
inria-00520317.  , 2010
Link: https://inria.hal.scienc..
 
?
12

Résolution exacte de MinSAT:

Li, Chu Min ; Manya, Felip ; Quan, Zhe.
inria-00520378.  , 2010
Link: https://inria.hal.scienc..
 
?
13

RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du m..:

Huang, Haibo ; Li, Chu Min ; Mohamedou, Nouredine Ould.
hal-00387816.  , 2009
Link: https://hal.science/hal-..
 
?
14

RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du m..:

Huang, Haibo ; Li, Chu Min ; Mohamedou, Nouredine Ould.
hal-00387816.  , 2009
Link: https://hal.archives-ouv..
 
?
15

Combinaison des règles d'inférence et de la sous-estimation..:

Li, Chu Min ; Manya, Felip ; Ould Mohamedou, Nouredine.
inria-00292665.  , 2008
Link: https://inria.hal.scienc..
 
1-15