On CNF Encodings of Decision Diagrams

On CNF Encodings of Decision Diagrams

• A long version of the paper with proofs in PDF.
• The instances used in the paper are given in the tarred gzipped file.