2009 21st IEEE International Conference on Tools with Artificial Intelligence Enhanced Inference for the Market Split Problem Newark, New Jersey November 02-November 04 ISBN: 978-0-7695-3920-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.83
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.
Index Terms:
inference, decision diagrams, market split problem
Citation:
Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann, "Enhanced Inference for the Market Split Problem," ictai, pp.716-723, 2009 21st IEEE International Conference on Tools with Artificial Intelligence, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||