Bounds for variables with few occurrences in conjunctive normal forms

Oliver Kullmann, Xishun Zhao

We investigate connections between SAT (the propositional satisfiability problem) and combinatorics, around the minimum degree (number of occurrences) of variables in various forms…