@dblp

On CNF Encodings of Decision Diagrams.

, , , and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 1-17. Springer, (2016)

Links and resources

Tags