Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls).

Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter J. Stuckey

Browse the full FLOPS paper archive.