Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.

Neil V. Murray, Erik Rosenthal

Browse the full TABLEAUX paper archive.