The Probabilistic Analysis of a Greedy Satisfiability Algorithm.

Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas

Browse the full ESA paper archive.