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

Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel

Browse the full CP paper archive.