Recherche - Université de Picardie Jules Verne Accéder directement au contenu

Filtrer vos résultats

16 Résultats
Auteur : personID (entier) : 1156158
Image document

Nouvelles bornes inférieurs pour le problème de la somme coloration

Kaoutar Sghiouer , Yu Li , Corinne Lucet , Aziz Moukrim
ROADEF2010, Feb 2010, Toulouse, France
Communication dans un congrès hal-00471751v1

A branching heuristic for SAT solvers based on complete implication graphs

Fan Xiao , Chu-Min Li , Mao Luo , Felip Manya , Zhipeng Lu , et al.
Science China Information Sciences, 2019, 62 (7), ⟨10.1007/s11432-017-9467-7⟩
Article dans une revue hal-03636419v1

Satisfying versus Falsifying in Local Search for Satisfiability

Chu Min Li , Yu Li
SAT-2012, 2012, Trento, Italy, Italy. pp.477-478
Communication dans un congrès hal-00999316v1
Image document

Greedy Algorithms for the Minimum Sum Coloring Problem

Yu Li , Corinne Lucet , Aziz Moukrim , Kaoutar Sghiouer
Logistique et transports, Mar 2009, Sousse, Tunisia. pp.LT-027
Communication dans un congrès hal-00451266v1

Comparaison de m�thodes de r�solution pour le probl�me de somme coloration

Clément Lecat , Chu Min Li , Corinne Lucet , Yu Li
JFPC-2015, 2015, Bordeaux, France. pp.204-213
Communication dans un congrès hal-01323742v1
Image document

Problème de la somme coloration d'un graphe

Yu Li , Corinne Lucet , Aziz Moukrim , Kaoutar Sghiouer
Roadef2009, Feb 2009, Nancy, France
Communication dans un congrès hal-00449507v1

Lower bounds for the minimum sum coloring problem

Aziz Moukrim , Kaoutar Sghiouer , Corinne Lucet , Yu Li
International symposium on combinatorial optimization, May 2010, Hammamet, Tunisia. pp.663-670, ⟨10.1016/j.endm.2010.05.084⟩
Communication dans un congrès istex hal-00496293v1

Clause vivification by unit propagation in CDCL SAT solvers

Chu-Min Li , Fan Xiao , Mao Luo , Felip Manya , Zhipeng Lu , et al.
Artificial Intelligence, 2020, 279, ⟨10.1016/j.artint.2019.103197⟩
Article dans une revue hal-03636415v1

Interpretation of Cook's theorem - What is NP?

Yu Li
ICPI 2013, 2013, Xian, China, China. pp.474-481
Communication dans un congrès hal-00999303v1
Image document

A memetic algorithm for the minimum sum coloring problem

Kaoutar Sghiouer , Yu Li , Corinne Lucet , Aziz Moukrim
Conférence Internationale en Recherche Opérationnelle (CIRO'2010), May 2010, Marrakech, Morocco. pp.KS
Communication dans un congrès hal-00533488v1
Image document

Exact methods for the minimum sum coloring problem

Clément Lecat , Chu Min Li , Corinne Lucet , Yu Li
2015
Autre publication scientifique hal-01326666v1

Optimisation de la planification de processus en conflit de ressource : résolution par solveur minsat

Clément Lecat , Chu Min Li , Corinne Lucet , Yu Li
ROADEF 2015, 2015, Marseille, France
Communication dans un congrès hal-01323895v1
Image document

Somme coloration de graphe

Kaoutar Sghiouer , Yu Li , Corinne Lucet , Aziz Moukrim
8e Conf2rence Internationale de MOd2lisation et SIMulation - MOSIM'10., May 2010, Hammamet, Tunisie. pp.276
Communication dans un congrès hal-00527271v1

Exploiting historical relationships of clauses and variables in local search for satisfiability

Chu Min Li , Wanxia We , Yu Li
SAT-2012, 2012, Trento, Italy, Italy. pp.479-480
Communication dans un congrès hal-00999317v1

Exact methods for the minimum sum coloring problem

Clément Lecat , Chu Min Li , Corinne Lucet , Yu Li
DPCP-2015, 2015, Cork, Ireland, Iran. pp.61-69
Communication dans un congrès hal-01323741v1

A new upper bound for the maximum weight clique problem

Chu-Min Li , Yanli Liu , Hua Jiang , Felip Manya , Yu Li
European Journal of Operational Research, 2018, 270 (1), pp.66-77. ⟨10.1016/j.ejor.2018.03.020⟩
Article dans une revue hal-03636424v1