203 citations · 322 across the 18 of their papers we have counts for
1 paper · 2 filters
Oliver Kullmann, Xishun Zhao
For investigations into the structure of MU, i.e., minimally unsatisfiable clause-sets or conjunctive normal forms, singular DP-reduction is a fundamental tool, applying DP-reducti…