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

by M Clegg, J Edmonds, R Impagliazzo
Venue:In Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing