12 citations · 48 across the 12 of their papers we have counts for
1 paper · 2 filters
Florent Capelli, Yann Strozecki
In this article, we study the problem of enumerating the models of DNF formulas. The aim is to provide enumeration algorithms with a delay that depends polynomially on the size of…