Look-Ahead Based SAT Solvers

MJH Heule, H van Maaren

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

    22 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationHandbook of Satisfiability
    EditorsA Biere, MJH Heule, H van Maaren
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages155-184
    Number of pages980
    ISBN (Print)978-1-58603-929-5
    Publication statusPublished - 2009

    Keywords

    • Boekdeel internat.wet

    Cite this

    Heule, MJH., & van Maaren, H. (2009). Look-Ahead Based SAT Solvers. In A. Biere, MJH. Heule, & H. van Maaren (Eds.), Handbook of Satisfiability (pp. 155-184). IOS Press.