A Lower Bound on the Size of Decomposable Negation Normal Form

Open in new window