Graham Wrightson

Recent Publications

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

2006