The effect of structural branching on the efficiency of clause learning SAT solving

Matti Järvisalo

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publication14th RCRA Workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Rooma, Italia, 5.-6.7.2007
    PublisherAI*IA RCRA
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Boolean circuits
    • branching heuristics
    • clause learning
    • constraint solving
    • DPLL
    • experimentation
    • problem structure
    • propositional satisfiability

    Cite this