{"type":"ScholarlyArticle","title":"A Top-Down Compiler for Sentential Decision Diagrams","authors":[{"name":"Umut Oztok","slug":"umut-oztok","given":"Umut","family":"Oztok","affiliation":""},{"name":"Adnan Darwiche","slug":"adnan-darwiche","given":"Adnan","family":"Darwiche","affiliation":""}],"abstract":"The sentential decision diagram (SDD) has been recently proposed as a new tractable representation of Boolean functions that generalizes the influential ordered binary decision diagram (OBDD). Empirically, compiling CNFs into SDDs has yielded significant improvements in both time and space over compiling them into OBDDs, using a bottom-up compilation approach. In this work, we present a top-down CNF to SDD compiler that is based on techniques from the SAT literature. We compare the presented compiler empirically to the state-of-the-art, bottom-up SDD compiler, showing orders-of-magnitude improvements in compilation time.","doi":null,"url":"https://ijcai.org/proceedings/2015/443","pdf":"https://ijcai.org/proceedings/2015/0443.pdf","markdown":"https://ijcai.org/proceedings/2015/443.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/443","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":443,"pages":{"first":3141,"last":3147},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}