Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …

We propose an approach for explaining Bayesian network classifiers, which is based on
compiling such classifiers into decision functions that have a tractable and symbolic form …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

We propose a perspective on knowledge compilation which calls for analyzing different
compilation approaches according to two key dimensions: the succinctness of the target …

We identify a new representation of propositional knowledge bases, the Sentential Decision
Diagram (SDD), which is interesting for a number of reasons. First, it is canonical in the …

Probabilistic programming languages (PPLs) are an expressive means of representing and
reasoning about probabilistic models. The computational challenge of probabilistic …

In two editions spanning more than a decade, The Electrical Engineering Handbook stands
as the definitive reference to the multidisciplinary field of electrical engineering. Our …

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic
synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation …

Feature modeling is a notation and an approach for modeling commonality and variability in
product families. In their basic form, feature models contain mandatory/optional features …

Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …