Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Explication systématique des contraintes indexicales
RISE, Swedish ICT, SICS.
2005 (English)Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2005, 1.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21080OAI: oai:DiVA.org:ri-21080DiVA: diva2:1041114
Conference
Premières Journées Francophones de Programmation par Contraintes (JFPC'05), 8-10 June 2005, Lens, France
Note

In French.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-03Bibliographically approved

Open Access in DiVA

No full text

Other links

ftp
By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.27.0