Industrial-Strength SAT Solving and Restricted Branching

Matti Järvisalo

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationHelsinki
    Publication statusPublished - 2007
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameSummer School on Algorithmic Data Analysis (SADA 2007), Helsinki 28.5.-1.6.2007
    PublisherHelsinki University, Department of COmputer Science, Series of Publications B, Report B-2007-4
    ISSN (Print)1458-4786


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

    Cite this