Connecting Knowledge Compilation Classes Width Parameters

Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems

Steffen L. Lauritzen, David J. Spiegelhalter · Journal of the Royal Statistical Society Series B (Statistical Methodology) · 1988 · 3.9K citations

Engineering, Network Analysis, Computational Complexity +29

A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

Hans L. Bodlaender · SIAM Journal on Computing · 1996 · 1.5K citations

Mathematical Programming, Engineering, Planar Graph +17

Graph minors. X. Obstructions to tree-decomposition

Neil Robertson, Paul Seymour · Journal of Combinatorial Theory Series B · 1991 · 656 citations

Mathematical Programming, Graph Minor, Graph Theory +9

On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication

Randal E. Bryant · IEEE Transactions on Computers · 1991 · 515 citations

Circuit Complexity, Computational Complexity Theory, Engineering +17

A Knowledge Compilation Map

Journal of Artificial Intelligence Research · 2002 · 367 citations · Full text

Engineering, Compiler Technology, Software Engineering +16