Limitations of Restricted Branching in Clause Learning

Matti Järvisalo, Tommi Junttila

    Research output: Contribution to journalArticleScientificpeer-review

    19 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)325-356
    JournalConstraints
    Volume14
    Issue number3
    Publication statusPublished - 2009
    MoE publication typeA1 Journal article-refereed

    Keywords

    • backdoor sets
    • branching heuristics
    • clause learning
    • DPLL
    • problem structure
    • proof complexity
    • propositional satisfiability

    Cite this