On the Role of Canonicity in Bottom-up Knowledge Compilation

Open in new window