Look-Ahead Based SAT Solvers

MJH Heule, H van Maaren

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

    30 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