A l’occasion d’une journée RAP (Représentations et Algorithmes enPratique) du GDR IA, j’ai réalisé une vidéo présentant ma vision actuelle de la recherche dans le domaine de la résolution indirecte de CSP par reformulation de contraintes.

Dans cet exposé, je présente la notion de reformulation « efficace » de contraintes dans un sens assez communément admis, je présente quelques exemples de contraintes cibles et sources offrant ou non la possibilité de reformulations efficaces, et je défends l’idée que le choix pertinent d’une contrainte cible et d’une reformulation, pour une contrainte source donnée, suppose de bien comprendre les clés de l’efficacité du solveur cible. On retombe donc sur un de mes thèmes actuels de prédilection, la capacité des solveurs à produire des déductions utiles à la construction efficace d’une réfutation où à la recherche d’une solution. Mais si ces reflexions vous intéressent, cliquez donc sur le bouton « start » de la vidéo :-).