Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa, Keijo Heljanko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publication19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy
    Pages139-153
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication

    Cite this