Search: onr:"swepub:oai:DiVA.org:ri-24361" >
Linking Prefixes an...
-
Beldiceanu, NicolasCNRS INRIA, France
(author)
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators
- Article/chapterEnglish2014
Publisher, publication year, extent ...
-
Cham :Springer International Publishing,2014
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:ri-24361
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-24361URI
-
https://doi.org/10.1007/978-3-319-10428-7_13DOI
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-238534URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
Consider a constraint on a sequence of variables functionally determining a result variable that is unchanged under reversal of the sequence. Most such constraints have a compact encoding via an automaton augmented with accumulators, but it is unknown how to maintain domain consistency efficiently for most of them. Using such an automaton for such a constraint, we derive an implied constraint between the result variables for a sequence, a prefix thereof, and the corresponding suffix. We show the usefulness of this implied constraint in constraint solving, both by local search and by propagation-based systematic search.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se
(author)
-
Flener, PierreUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)pfl08519
(author)
-
Francisco Rodríguez, María AndreínaUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)marfr379
(author)
-
Pearson, JustinUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)justpear
(author)
-
CNRS INRIA, FranceComputer Systems Laboratory
(creator_code:org_t)
Related titles
-
In:Principles and Practice of Constraint ProgrammingCham : Springer International Publishing, s. 142-1579783319104270
Internet link
Find in a library
To the university's database