Expressing Linear Orders Requires Exponential-Size DNNFs

Open in new window