We show the connection between the theory of bounded treewidth graphs, monadic second order definable structures and sets, and boolean decision diagrams. We survey recent results in algorithms for bounded treewidth, symbolic model checking and representation schemes for Boolean functions. Some practical applications are indicated.
CITATION STYLE
Arnborg, S. (1995). Decomposable structures, boolean function representations, and optimization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 969, pp. 21–36). Springer Verlag. https://doi.org/10.1007/3-540-60246-1_110
Mendeley helps you to discover research relevant for your work.