by Michael R. Fellows, Stefan Szeider, Graham Wrightson
Reference:
On Finding Short Resolution Refutations and Small Unsatisfiable SubsetsMichael R. Fellows, Stefan Szeider, Graham Wrightson1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey, Michael Fellows, Frank Dehne, eds.), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@InProceedings{FellowsSzeiderWrightson04,
author = {Michael R. Fellows and Stefan Szeider and Graham Wrightson},
title = {On Finding Short Resolution Refutations and
Small Unsatisfiable Subsets},
booktitle = {1st International Workshop on Parameterized and
Exact Computation (IWPEC 2004)},
pages = {223-234},
year = {2004},
editor = {Rod Downey and Michael Fellows and Frank Dehne},
volume = {3162},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}