Skip to main content

On the greedy algorithm for satisfiability

E. Koutsoupias and C. H. Papadimitriou

Journal
Information Processing Letters
Month
aug
Number
1
Pages
53–55
Volume
43
Year
1992