TY - GEN
T1 - Propagation in constraints
T2 - 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011
AU - Gent, Ian P.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2011.
PY - 2011
Y1 - 2011
N2 - At a conference such as CPAIOR, we have experts from many different approaches to searching huge combinatorial spaces. Much of what we all do is common, for example similar search methods, heuristics, and learning techniques. So what is it that is essentially different about Constraint Programming in particular? One answer is the power and diversity of constraint propagation algorithms. By contrast, other search disciplines often rely on just one propagation technique, such as unit propagation in SAT.
AB - At a conference such as CPAIOR, we have experts from many different approaches to searching huge combinatorial spaces. Much of what we all do is common, for example similar search methods, heuristics, and learning techniques. So what is it that is essentially different about Constraint Programming in particular? One answer is the power and diversity of constraint propagation algorithms. By contrast, other search disciplines often rely on just one propagation technique, such as unit propagation in SAT.
UR - http://www.scopus.com/inward/record.url?scp=85037544529&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21311-3_2
DO - 10.1007/978-3-642-21311-3_2
M3 - Conference contribution
AN - SCOPUS:85037544529
SN - 9783642213106
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 2
BT - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Proceedings
A2 - Beck, J. Christopher
A2 - Achterberg, Tobias
PB - Springer-Verlag
Y2 - 23 May 2011 through 27 May 2011
ER -