22 citations · 90 across the 29 of their papers we have counts for
1 paper · 2 filters
Stefan Mengel
We study BDD-based bucket elimination, an approach to satisfiability testing using variable elimination which has seen several practical implementations in the past. We prove that…