Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.

Oliver Kullmann, Ins Lynce, Joo Marques-Silva

Browse the full SAT paper archive.