The Succinct Solver Suite

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. TACAS'04
    PublisherSpringer Verlag
    Publication date2004
    Pages251-265
    Publication statusPublished - 2004
    EventTACAS'04 -
    Duration: 1 Jan 2004 → …

    Conference

    ConferenceTACAS'04
    Period01/01/2004 → …

    Cite this

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H., & Seidl, H. (2004). The Succinct Solver Suite. In Proc. TACAS'04 (pp. 251-265). Springer Verlag.