On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Michael Fellows, Stefan Szeider, G Wrightson

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	351-359
Number of pages	9
Journal	Theoretical Computer Science
Volume	351
Issue number	3
Publication status	Published - 2006

Cite this

@article{8af93ad6154e4792b817b0f9f1335245,

title = "On Finding Short Resolution Refutations and Small Unsatisfiable Subsets",

author = "Michael Fellows and Stefan Szeider and G Wrightson",

year = "2006",

language = "English",

volume = "351",

pages = "351--359",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "3",

}