Justeau-Allaire Dimitri, Prud'homme Charles. 2022. Global domain views for expressive and cross-domain constraint programming. Constraints, 27 (1-2) : 1-7.
Version publiée
- Anglais
Accès réservé aux personnels Cirad Utilisation soumise à autorisation de l'auteur ou du Cirad. 604928.pdf Télécharger (809kB) | Demander une copie |
Résumé : 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 expressive 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 and illustrate it on set and graph views. 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 expressiveness of constraint programming by allowing the definition of complex relationships between different types of variables within a light and simple framework.
Mots-clés Agrovoc : mondialisation
Mots-clés libres : Constraint programming, Domain views, Set variables, Graph variables
Agences de financement hors UE : Agence Nationale de la Recherche
Projets sur financement : (FRA) Langage Déclaratif pour la cryptographie symétrique
Auteurs et affiliations
- Justeau-Allaire Dimitri, CIRAD-BIOS-UMR AMAP (FRA)
- Prud'homme Charles, CNRS (FRA) - auteur correspondant
Source : Cirad-Agritrop (https://agritrop.cirad.fr/604928/)
[ Page générée et mise en cache le 2024-12-20 ]