Information: this page is not translated in english

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).

Last update on 18/06/2013