BIROn - Birkbeck Institutional Research Online

    On OBDDs for CNFs of bounded treewidth

    Razgon, Igor (2014) On OBDDs for CNFs of bounded treewidth. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. Palo Alto, U.S.: AAAI Press. ISBN 9781577356578.

    [img]
    Preview
    Text
    15411.pdf - Author's Accepted Manuscript

    Download (425kB) | Preview

    Abstract

    In this paper we show that a CNF cannot be compiled into an Ordered Binary Decision Diagram (OBDD) of fixed-parameter size parameterized by the primal graph treewidth of the input CNF. Thus we provide a parameterized separation between OBDDs and Sentential Decision Diagrams for which such fixed-parameter compilation is possible. We also show that the best existing parameterized upper bound for OBDDs in fact holds for the incidence graph treewidth parameterization.

    Metadata

    Item Type: Book Section
    Additional Information: Vienna, Austria, July 20–24, 2014.
    Keyword(s) / Subject(s): Treewidth, OBDD
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Administrator
    Date Deposited: 03 Jun 2016 10:24
    Last Modified: 09 Aug 2023 12:38
    URI: https://eprints.bbk.ac.uk/id/eprint/15411

    Statistics

    Activity Overview
    6 month trend
    84Downloads
    6 month trend
    201Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item