Non-Clausal SAT and ATPG

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Title of host publicationHandbook of Satisfiability
    EditorsArmin Biere, Marijn J.H. Heule, Hans van Maaren, Toby Walsh
    PublisherIOS PRESS
    Pages655-693
    Number of pages39
    ISBN (Print)978-1-58603-929-5
    DOIs
    Publication statusPublished - 2009
    MoE publication typeA3 Part of a book or another research book

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    Number1
    Volume185
    ISSN (Print)0922-6389

    Cite this