Recherche incomplète aidée par une base de conflits

Résumé : Dans ce travail, nous considérons la résolution de problème OPTW avec des méthodes de recherche incomplète aidées par une base de connaissances. L'objectif est d'extraire et de mémoriser des conflits au fur et à mesures des itérations dans une mémoire long-terme. Par rapport à des mécanismes de recherche tabou, l'enjeu est d'obtenir une base de conflits plus pérenne. Pour expérimenter cette approche sur les OPTW, nous proposons trois méthodes de gestion de la base de conflits et évaluons ses performances dans le solveur global. Ces conflits sont utilisés pour guider la recherche dans le futur, soit pour éviter de ré-explorer des configurations non admissibles, soit pour identifier les zones les plus prometteuses dans l'espace de recherche.