Single Constant Multiplication for SAT.

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack

Browse the full CPAIOR paper archive.