Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

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

Browse the full CP paper archive.