Sökning: onr:"swepub:oai:DiVA.org:ri-24361" >
Linking Prefixes an...
-
Beldiceanu, NicolasCNRS INRIA, France
(författare)
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators
- Artikel/kapitelEngelska2014
Förlag, utgivningsår, omfång ...
-
Cham :Springer International Publishing,2014
-
printrdacarrier
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se
(författare)
-
Flener, PierreUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)pfl08519
(författare)
-
Francisco Rodríguez, María AndreínaUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)marfr379
(författare)
-
Pearson, JustinUppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden(Swepub:uu)justpear
(författare)
-
CNRS INRIA, FranceComputer Systems Laboratory
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Principles and Practice of Constraint ProgrammingCham : Springer International Publishing, s. 142-1579783319104270
Internetlänk
Hitta via bibliotek
Till lärosätets databas