Algorithmes optimaux  Algèbre  Apprentissage  Apprentissage de clauses  Arbre recherche binaire  Aéroports  Bande de fréquence des Térahertz  Bases de données déductives  Calcul des propositions  Calcul distribué  Circulation aérienne -- Contrôle  Colonies d'abeilles  Coloration  Coloriage de graphes  Conception orientée objets  Contraintes  Contraintes  Environnements intégrés  Fonction prédictive  Fonctions booléennes  Graphe  Heuristique  Héritage  Informatique  Informatique expérimentale  Inférence  Intelligence artificielle  LISP  Lauses bi-assertives  Logiques des défauts  Logiques non monotones  Logiques préférentielles  MSCP  Max-Résolution  Max-SAT  Microcapteurs  Modèles de programmation hybride  Modélisation et évaluation  Multi-utlisateurs  Métaheuristiques  NP  NS3  Nano-Sim  Nanocapteurs sans fil  Nanocommunication  Nanoréseaux  Nanoréseaux sur puce  Objet logique unifié  Optimisation combinatoire  Ordonnancement et affectation optimales  Parallèle  Partitionnement de graphes  Persistance  Problème NP complet  Problème SAT  Problèmes de partitionnement de graphe  Procédure DPL  Programmation orientée objets  Programmation par contraintes  Programmation parallèle  Recherche locale  Représentation des connaissances  Règles d'inférence  Réseaux ad hoc  Réseaux de Petri  Réseaux électriques intelligents  Résolution de problème -- Informatique  Résolution de problème  SAT  Satisfiabilité propositionnelle  Smalltalk  Solveurs  Solveurs CDCL  Solveurs SAT  Stratégies de recherche à opérateur multiple  Symétrie locales  Symétries syntaxiques  Symétries sémantiques  Séparation et évaluation  Thèses et écrits académiques  Véhicules électriques  X-logiques  Énergie -- Stockage  

Chumin Li a rédigé la thèse suivante :


Chumin Li a dirigé les 7 thèses suivantes :

Informatique. Recherche opérationnelle et optimisation
Soutenue le 27-11-2017
Thèse soutenue
Sciences. Informatique
Soutenue en 2012
Thèse soutenue

Sciences. Informatique
Soutenue en 2008
Thèse soutenue


Chumin Li a été président de jury de la thèse suivante :

Informatique
Soutenue le 12-12-2017
Thèse soutenue

Chumin Li a été rapporteur des 4 thèses suivantes :

Informatique
Soutenue le 28-06-2016
Thèse soutenue

Chumin Li a été membre de jury des 2 thèses suivantes :