On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Michael Fellows, Stefan Szeider, G Wrightson

    Research output: Contribution to journalArticlepeer-review

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

    Cite this