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

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