TY - GEN
T1 - Enhanced inference for the market split problem
AU - Hadzic, Tarik
AU - O'Mahony, Eoin
AU - O'Sullivan, Barry
AU - Sellmann, Meinolf
PY - 2009
Y1 - 2009
N2 - Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filtering. Frequently we find that this is a too coarse-grained form of communication since constraints could exchange more powerful forms of deductions that could help reduce the search effort. In this paper we propose a particular technique for enhancing inference in constraint programming, by generating deductions that involve tighter interleaving of constraints. We apply our method to the Market Split Problem and obtain massive speed-ups which brings a new order of Market Split Problems into the realm of solvability by means of constraint programming.
AB - Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filtering. Frequently we find that this is a too coarse-grained form of communication since constraints could exchange more powerful forms of deductions that could help reduce the search effort. In this paper we propose a particular technique for enhancing inference in constraint programming, by generating deductions that involve tighter interleaving of constraints. We apply our method to the Market Split Problem and obtain massive speed-ups which brings a new order of Market Split Problems into the realm of solvability by means of constraint programming.
UR - https://www.scopus.com/pages/publications/77949574420
U2 - 10.1109/ICTAI.2009.83
DO - 10.1109/ICTAI.2009.83
M3 - Conference proceeding
AN - SCOPUS:77949574420
SN - 9781424456192
T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
SP - 716
EP - 723
BT - ICTAI 2009 - 21st IEEE International Conference on Tools with Artificial Intelligence
T2 - 21st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2009
Y2 - 2 November 2009 through 5 November 2009
ER -