Éric Monfroy
Mots clés
FR |
EN
Programmation par contraintes
Contraintes (intelligence artificielle)
Résolution de problème -- Informatique
Solveurs (logiciels)
Cycle cellulaire
Inhibiteurs de CDK-cycline
Arabidopsis thaliana
Développement floral
Criblage double-hybride
Cycle cellulaire végétal
Kinases dépendantes des cyclines
Intelligence artificielle
Graphes
Réseaux de contraintes
Solveur de contraintes
Algorithme Mac
Isomorphisme de sous-graphes
SND
Isomorphismes (mathématiques)
Théorie des graphes