Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.

Peter Nightingale, Patrick Spracklen, Ian Miguel

Browse the full CP paper archive.