Search: WFRF:(Beldiceanu Nicolas) >
A Modelling Pearl w...
-
Beldiceanu, NicolasÉcole des Mines de Nantes, France
(author)
A Modelling Pearl with Sortedness Constraints
- Article/chapterEnglish2015
Publisher, publication year, extent ...
-
EasyChair,2015
-
electronicrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:ri-24472
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-24472URI
-
https://doi.org/10.29007/b4dzDOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
Some constraint programming solvers and constraint modelling languages feature the Sort(L,P,S) constraint, which holds if S is a nondecreasing rearrangement of the list L, the permutation being made explicit by the optional list P. However, such sortedness constraints do not seem to be used much in practice. We argue that reasons for this neglect are that it is impossible to require the underlying sort to be stable, so that Sort cannot be guaranteed to be a total-function constraint, and that L cannot contain tuples of variables, some of which form the key for the sort. To overcome these limitations, we introduce the StableKeysort constraint, decompose it using existing constraints, and propose a propagator. This new constraint enables a powerful modelling idiom, which we illustrate by elegant and scalable models of two problems that are otherwise hard to encode as constraint programs.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se
(author)
-
Flener, PierreUppsala University, Sweden
(author)
-
Lorca, XavierÉcole des Mines de Nantes, France
(author)
-
Pearson, JustinUppsala University, Sweden
(author)
-
Petit, ThierryÉcole des Mines de Nantes, France; Worcester Polytechnic Institute, US
(author)
-
Prud'homme, CharlesÉcole des Mines de Nantes, France
(author)
-
École des Mines de Nantes, FranceComputer Systems Laboratory
(creator_code:org_t)
Related titles
-
In:GCAI 2015. Global Conference on Artificial Intelligence: EasyChair, s. 27-41
Internet link
To the university's database