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 |
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets
Michael Fellows, Stefan Szeider, G Wrightson
Research output: Contribution to journal › Article › peer-review