TY - GEN
T1 - Using indexed finite set variables for set bounds propagation
AU - Viegas, Ruben Duarte
AU - Correia, Marco
AU - Barahona, Pedro
AU - Azevedo, Francisco
PY - 2008/12/1
Y1 - 2008/12/1
N2 - Constraint Programming (CP) has been successfully applied to numerous combinatorial problems such as scheduling, graph coloring, circuit analysis, or DNA sequencing. Following the success of CP over traditional domains, set variables were also introduced to more declaratively solve a number of different problems. Using a bounds representation for a finite set variable allows one to compactly represent the solution set of a set constraint problem. Many consistency mechanisms for maintaining bounds consistency have been proposed and in this paper we propose to use delta domain variable information to speed up constraint propagation. Additionally, we propose the use of indexed set domain variable representations as a better means of improving the use, intuitiveness and efficiency of delta domain variables for propagation tasks.
AB - Constraint Programming (CP) has been successfully applied to numerous combinatorial problems such as scheduling, graph coloring, circuit analysis, or DNA sequencing. Following the success of CP over traditional domains, set variables were also introduced to more declaratively solve a number of different problems. Using a bounds representation for a finite set variable allows one to compactly represent the solution set of a set constraint problem. Many consistency mechanisms for maintaining bounds consistency have been proposed and in this paper we propose to use delta domain variable information to speed up constraint propagation. Additionally, we propose the use of indexed set domain variable representations as a better means of improving the use, intuitiveness and efficiency of delta domain variables for propagation tasks.
KW - Constraint propagation
KW - Delta domain variables
KW - Finite set constraint variables
KW - Graph constraint variables
KW - Indexation
UR - http://www.scopus.com/inward/record.url?scp=70350602554&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-88309-8_8
DO - 10.1007/978-3-540-88309-8_8
M3 - Conference contribution
AN - SCOPUS:70350602554
SN - 978-3-540-88308-1
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 73
EP - 82
BT - Advances in Artificial Intelligence - IBERAMIA 2008 - 11th Ibero-American Conference on AI, Proceedings
A2 - Geffner, H.
A2 - Prada, R.
A2 - Machado Alexandre, I.
A2 - David, N.
PB - Springer
CY - Berlin, Heidelberg
T2 - 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2008
Y2 - 14 October 2008 through 17 October 2008
ER -