On the greedy algorithm for satisfiability

Koutsoupias, E. | Papadimitriou, C. H.

Feb-1-1992–Classics

Information Processing Letters, 43 (1), 53-55.

artificial intelligence, greedy algorithm, satisfiability, (1 more...)

Feb-1-1992

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Search (1.00)