Vues de domaine globales

Justeau-Allaire Dimitri, Prud'homme Charles. 2022. Vues de domaine globales. In : 17es Journees Francophones de Programmation par Contraintes (JFPC 2022). Caen : AFIA, 23. ISBN 978-1-7138-6796-8 Journées Francophones de Programmation par Contrainte. 17, Saint Etienne, France, 27 Juin 2022/29 Juin 2022.

Résumé : Le concept de vues de domaine est une abstraction puissante en programmation par contraintes. Il permet de définir des variables qui ne déclarent aucun domaine, mais qui reposent sur une variable x et une fonction f , de sorte que y = f (x) où y est la vue. En plus de faciliter la modélisation en fournissant une couche d'abstraction expressive, les vues offrent une alternative à la décomposition des contraintes qui n'implique pas de variables auxiliaires et de propagateurs. Dans cet article, nous introduisons la notion de vues de domaine globales. Une vue de domaine globale repose sur un nombre arbitraire de variables et une fonction telle que y = f (x1, ..., xn). La combinaison de vues de domaine globales avec des variables ensemblistes et de graphes étend l'expressivité de la programmation par contraintes en permettant la définition de relations complexes entre différents types de variables dans un cadre léger et simple.

Résumé (autre langue) : The concept of domain views is a powerful abstraction in constraint programming. It permits to define variables that do not declare any domain but instead rely on a variable x and a function f , such that y = f (x) where y is the view. In addition to making modelling easier by providing an ex- pressive layer of abstraction, views provide an alternative to constraint decomposition that does not involve auxiliary variables and propagators. In this article, we introduce the notion of global domain view. A global domain view relies on an arbitrary number of variables and a function such that y = f (x1, ..., xn). The combination of global domain views with set and graph variables extends the expressi- veness of constraint programming by allowing the defini- tion of complex relationships between different types of va- riables within a light and simple framework.

Mots-clés libres : Constraint programming, Domain views, Global

Auteurs et affiliations

• Justeau-Allaire Dimitri, CIRAD-BIOS-UMR AMAP (FRA)
• Prud'homme Charles, CNRS (FRA)

Source : Cirad-Agritrop (https://agritrop.cirad.fr/614266/)

Métriques

[ Page générée et mise en cache le 2025-09-22 ]