Global domain views for expressive and cross-domain constraint programming
2022
Justeau-Allaire, Dimitri | Prud'Homme, Charles | Institut Agronomique Néo-Calédonien (IAC) | Botanique et Modélisation de l'Architecture des Plantes et des Végétations (UMR AMAP) ; Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD [Occitanie])-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Université de Montpellier (UM) | Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC) ; Laboratoire des Sciences du Numérique de Nantes (LS2N) ; Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) | Département Automatique, Productique et Informatique (IMT Atlantique - DAPI) ; IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) | ANR-18-CE39-0007,DeCrypt,Langage Déclaratif pour la cryptographie symétrique(2018)
International audience
显示更多 [+] 显示较少 [-]英语. 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.
显示更多 [+] 显示较少 [-]