## Matthew Clegg, Jeff Edmonds, Russell Impagliazzo

*Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability*

STOC, 1996.

@inproceedings{STOC-1996-CleggEI, author = "Matthew Clegg and Jeff Edmonds and Russell Impagliazzo", booktitle = "{Proceedings of the 28th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/237814.237860", isbn = "0-89791-785-5", pages = "174--183", publisher = "{ACM}", title = "{Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability}", year = 1996, }