Niveau: Supérieur, Master
- cours - matière potentielle : master recherche
Correction et completude Separation & Evaluation Programmation par contraintes Cours de Master Recherche Specialite CODE : Resolution de problemes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Universite Lyon 1 2007
- optimisation par colonies de fourmis principes
- resolution par separation
- resolution de csps structuration de l'espace de recherche en treillis
- structuration de l'espace de recherche en arbre
- illustration sur le probleme de l'isomorphisme de graphes
- evaluation programmation par contraintes