Using the Gröbner basis algorithm to find proofs of unsatisfiability (1996)

by M Clegg, J Edmonds, R Impagliazzo
Venue:In 28th STOC