#### DMCA

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

by
Matthew Clegg
,
Jeffery Edmonds
,
Russell Impagliazzo

Citations: | 118 - 5 self |