Trivial, Tractable, Hard. A Not So Sudden Complexity Jump in Neighborhood Restricted CNF Formulas.

Dominik Scheder

Browse the full ISAAC paper archive.