Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences.

Daniel Johannsen, Igor Razgon, Magnus Wahlstrm

Browse the full SAT paper archive.