Résumé
Dans ce document, nous présentons une étude pour réaliser la modélisation de problèmes d'optimisation sous contraintes et leur résolution soit par des opérateurs déclaratifs pour la recherche heuristique, soit par des opérateurs hybrides utilisant à la fois la programmation sous contraintes pour réduire l'espace de recherche et les opérateurs déclaratifs. Le prototypage sera développé en Curry, langage de programmation fonctionnelle logique. Le but poursuivi étant demontrer s'il y a indépendance de l'expression déclarative du problème de ses techniques de résolution ainsi que la possibilité de réutilisation des opérateurs ou de la modélisation d'un problème
la date de réponse | 2009 |
---|---|
langue originale | Français |
Superviseur | Pierre Yves Schobbens (Promoteur) |