Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability.

Matthew Clegg, Jeff Edmonds, Russell Impagliazzo

Browse the full STOC paper archive.