WFRF:(Beldiceanu Nicolas)
Sökning: WFRF:(Beldiceanu Nicolas) > A Modelling Pearl w...
A Modelling Pearl with Sortedness Constraints
-
- Beldiceanu, Nicolas (författare)
- École des Mines de Nantes, France
-
- Carlsson, Mats (författare)
- RISE,Computer Systems Laboratory
-
- Flener, Pierre (författare)
- Uppsala University, Sweden
- visa fler...
- visa färre...
- (creator_code:org_t)
- 9
- EasyChair, 2015
- 2015
- Engelska.
- Ingår i: GCAI 2015. Global Conference on Artificial Intelligence. - : EasyChair. ; , s. 27-41
- Konferensbidrag (refereegranskat)
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- constraint decomposition
- Constraint Modelling
- Constraint Programming
- constraint propagator
- sortedness constraints
- stable sort
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Beldiceanu, Nico ...
- Carlsson, Mats
- Flener, Pierre
- Lorca, Xavier
- Pearson, Justin
- Petit, Thierry
- visa fler...
- Prud'homme, Char ...
- visa färre...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- GCAI 2015. Globa ...
- Av lärosätet
- RISE
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
