Michael R. Fellows

Recent Publications

Clique-width Minimization is NP-hard

2006

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

2006