Classes of CNF-Formulas with Backtracking Trees of Exponential or Linear Average Order for Exact-Satisfiability.

Ewald Speckenmeyer

Browse the full MFCS paper archive.