On the greedy algorithm for satisfiability

Bibliographic Details
Main Authors: Koutsoupias, E, Papadimitriou, C
Format: Journal article
Published: 1992