2013-04-05 Algorithmes efficaces pour la résolution de problèmes sous contraintes

5 avril 2013 -- 14h, salle E.324 : Christophe Lecoutre -- CRIL
Algorithmes efficaces pour la résolution de problèmes sous contraintes
Durant cet exposé, je présenterai les grandes lignes de quelques algorithmes (reconnus) efficaces pour l'inférence (filtrage de l'espace de recherche) et la recherche de solutions. Les principes (structures) sous-jacents à ces algorithmes seront présentés : residus/watched literals, réduction tabulaire, sparse sets. Je terminerai avec quelques développements récents choisis (pour les cadres CSP et WCSP).

Dernière mise à jour le 18/06/2013