On the Relative Succinctness of Sentential Decision Diagrams - Bollig, Beate; Buttkus, Matthias (Theory of computing systems, 2019)
Keywords: Boolean; Boolean algebra; Boolean functions; Codes; Computer Science; Data structures; Knowledge bases (artificial intelligence); Knowledge representation; Languages; Mathematical analysis; Polynomials; Theory of Computation; Ordered binary decision diagrams; Complexity theory; Decomposable negation normal forms; Storage access functions; Knowledge compilation; Sentential decision diagrams