On CNF Encodings of Decision Diagrams.

Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey

Browse the full CPAIOR paper archive.