Graham Wrightson

Recent Publications

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets
Michael R. Fellows, Stefan Szeider, Graham Wrightson
Theoretical Computer Science, volume 351, number 3, pages 351-359, 2006.
PDF Cite
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets
Michael R. Fellows, Stefan Szeider, Graham Wrightson
1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey and Michael Fellows and Frank Dehne), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer.
Cite