On the greedy algorithm for satisfiability. Forthcoming (1992)

by E Koutsoupias, C H Papadimitriou