What is this?
The Tractable Circuit Zoo is a visual guide to tractable circuit languages. We display succinctness relations between languages and operations they support. We build on the foundational work of Darwiche & Marquis (2002) and incorporate results from subsequent research.
Definitions
These informal definitions intend to provide a minimalistic, intuitive overview of the project. Each is linked to more formal statements in the literature.
Automated reasoning
Not all of folklore is explicitly documented. We use automated reasoning to derive portions of the zoo, and provide sketch proofs.