18 citations · 44 across the 8 of their papers we have counts for
1 paper · 1 filter
Anthony Zaleski
Using Maple, we implement a SAT solver based on the principle of inclusion-exclusion and the Bonferroni inequalities. Using randomly generated input, we investigate the performance…