On the greedy algorithm for satisfiability

Open in new window