Title :
Bounded Strings for Constraint Programming
Author :
Scott, Joseph D. ; Flener, P. ; Pearson, James
Author_Institution :
Dept. of Inf. Technol., Uppsala Univ., Uppsala, Sweden
Abstract :
We present a domain for string decision variables of bounded length, combining features from fixed-length and unbounded-length string solvers to reason on an interval defined by languages of prefixes and suffixes. We provide a theoretical groundwork for constraint solving on this domain and describe propagation techniques for several common constraints.
Keywords :
computability; constraint handling; bounded strings; constraint programming; constraint solving; fixed-length solver; string decision variable; unbounded-length string solver; Automata; Cognition; Concrete; Decision feedback equalizers; Indexes; Programming; Upper bound; constraint programming; string constraints;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2013 IEEE 25th International Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
978-1-4799-2971-9
DOI :
10.1109/ICTAI.2013.155
