Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

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. [doi]

Authors

Peter Nightingale

This author has not been identified. Look up 'Peter Nightingale' in Google

Özgür Akgün

This author has not been identified. Look up 'Özgür Akgün' in Google

Ian P. Gent

This author has not been identified. Look up 'Ian P. Gent' in Google

Christopher Jefferson

This author has not been identified. Look up 'Christopher Jefferson' in Google

Ian Miguel

This author has not been identified. Look up 'Ian Miguel' in Google