A Knowledge Compilation Map
Compiling Knowledge into Decomposable Negation Normal Form