Coupling Different Integer Encodings for SAT.

Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey

Browse the full CPAIOR paper archive.