DMCA

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

Cached

Download Links

by Matthew Clegg , Jeffery Edmonds , Russell Impagliazzo
Citations:118 - 5 self