Michael R. Fellows

Recent Publications

Clique-width Minimization is NP-hard
Michael R. Fellows, Frances A. Rosamond, Stefan Szeider
Proceedings of STOC 2006; the 38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, pages 354-362, 2006, ACM.
Cite DOI
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