Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. In Barry O'Sullivan, editor, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings. Volume 8656 of Lecture Notes in Computer Science, pages 590-605, Springer, 2014.
Abstract is missing.