203 citations · 322 across the 18 of their papers we have counts for
1 paper · 2 filters
Oliver Kullmann, Xishun Zhao
We establish a new bridge between propositional logic and elementary number theory. The main objects are "minimally unsatisfiable clause-sets", short "MUs", unsatisfiable conjuncti…