SODA

Explication systématique des contraintes indexicales

Langevine, Ludovic (2005) Explication systématique des contraintes indexicales. In: Premières Journées Francophones de Programmation par Contraintes (JFPC'05), 8-10 June 2005, Lens, France.

Full text not available from this repository.

Official URL: ftp://ftp.sics.se/pub/isl/papers/langevine05fr.pdf

Abstract

Plusieurs solveurs de contraintes sur domaines finis,tels GNU-Prolog ou SICStus Prolog, utilisent les indexicaux pour définir leurs contraintes primitives. Un indexical exprime un ensemble de valeurs consistantes pour une variable donnée et peut être compilé en un algorithme de filtrage efficace. L'explication d'un retrait de valeurs est un sous-ensemble du store qui suffit à justifier ce retrait. Les explications permettent de traiter des problèmes sur-contraints ou dynamiques, et de mettre en oeuvre diverses méthodes de recherche. Traditionnellement, il faut concevoir un algorithme de calcul des explications pour chaque algorithme de filtrage. Cet article montre que, pour les contraintes spécifiées par des indexicaux, il est possible de dériver automatiquement les algorithmes d'explication. Dans le cas de SICStus Prolog, il est même possible de tirer partie de l'implémentation existante pour optimiser ce calcul.

Item Type:Conference or Workshop Item (Paper)
Additional Information:In French.
ID Code:206
Deposited By:ISL Researcher
Deposited On:19 Jan 2006
Last Modified:18 Nov 2009 15:54

Repository Staff Only: item control page