Blocked Clause Elimination

M Jarvisalo, A Biere, MJH Heule

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

    96 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    EditorsJ Esparza, R Majumdar
    Place of PublicationBerlin
    PublisherSpringer
    Pages129-144
    Number of pages16
    ISBN (Print)0302-9743
    Publication statusPublished - 2010
    EventTACAS '10 - Berlin
    Duration: 20 Mar 201028 Mar 2010

    Publication series

    Name
    PublisherSpringer

    Conference

    ConferenceTACAS '10
    Period20/03/1028/03/10

    Keywords

    • CWTS JFIS < 0.75

    Cite this