Abstrakt. SEQUENCE-begränsningen är användbar vid modellering av bilsekvensering, uppställning, schemaläggning och relaterade problem. Vi introducerar ett halvt dussin nya kodningar av SEQUENCE-restriktionen, varav en del inte hindrar spridning. Vi bevisar att, ner en gren av ett sökträd, domänkonsistens kan genomdrivas på SEQUENCE begränsning på bara O(n 2 log n) tid. Detta förbättras på den tidigare gränsen av O(n 3 ) för varje anrop ner trädet. Vi överväger också en generalisering av SEQUENCE begränsningen - Multiple SEQUENCE begränsning. Våra experiment tyder på att, på mycket stora och trånga problem, domänkonsistens algoritmer är bäst. Men på mindre eller lösare problem är mycket enklare kodning bättre, även om dessa kodningar hindrar spridning. När det finns flera SEQUENCE begränsningar, en dyrare förökning visar löfte.
Vår användning av "pyramid" variabler liknar användningen av "partiella summor" variabler i kodningen av SEQUENCE begränsning i REF.
Encodings of the sequence constraint
{'venue': 'In: CP. Volume 4741 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}