Using the Groebner basis algorithm to find proofs of unsatisfiability, (1996)

by M Clegg, J Edmonds, R Impagliazzo
Venue:in Proceedings of 56 ALEXANDER A. RAZBOROV the Twenty-eighth Annual ACM Symposium on the Theory of Computing