2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Florent Capelli
Two main techniques have been used so far to solve the #P-hard problem #SAT. The first one, used in practice, is based on an extension of DPLL for model counting called exhaustive…