On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Michael Fellows, Stefan Szeider, G Wrightson

    Research output: Contribution to journalArticle

    Original languageEnglish
    Pages (from-to)351-359
    Number of pages9
    JournalTheoretical Computer Science
    Volume351
    Issue number3
    Publication statusPublished - 2006

    Cite this

    Fellows, M., Szeider, S., & Wrightson, G. (2006). On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. Theoretical Computer Science, 351(3), 351-359.