New Limits for Knowledge Compilation and Applications to Exact Model Counting

Open in new window