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

Peter Nightingale, Patrick Spracklen, Ian Miguel. Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. In Gilles Pesant, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings. Volume 9255 of Lecture Notes in Computer Science, pages 330-340, Springer, 2015. [doi]

Abstract

Abstract is missing.