Conference Proceedings

On CNF Encodings of Decision Diagrams

I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey, C-G Quimper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Springer International Publishing | Published : 2016