Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Volume 9892 of Lecture Notes in Computer Science, pages 3-12, Springer, 2016. [doi]

Abstract

Abstract is missing.