Effective Incorporation of Double Look-Ahead Procedures

MJH Heule, H van Maaren

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    3 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationTheory and Applications of Satisfiability Testing - SAT 2007
    EditorsJoao Marques-Silva, Karem A. Sakallah
    PublisherSpringer
    Pages258-271
    Number of pages14
    ISBN (Print)978-3-540-72787-3
    Publication statusPublished - 2007

    Publication series

    Name
    PublisherSpringer
    NameLecture Notes in Computer Science
    Volume4501
    ISSN (Print)0302-9743

    Keywords

    • CWTS 0.75 <= JFIS < 2.00

    Cite this