activity
20212026
most citedOn the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2021

Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation

Alexis de Colnet, Stefan Mengel

Bottom-up knowledge compilation is a paradigm for generating representations of functions by iteratively conjoining constraints using a so-called apply function. When the input is…