Obtaining Memory Efficient Solutions to Boolean Equation Systems

Misa Keinänen

    Research output: Contribution to journalArticleScientificpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    JournalELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
    Volume133
    Publication statusPublished - 2005
    MoE publication typeA1 Journal article-refereed

    Keywords

    • algorithm
    • boolean equation systems
    • memory efficient resolution
    • space complexity

    Cite this