Lauselogiikan toteutuvuustarkastus: käytännönläheistä teoriaa

Matti Järvisalo

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)47
    JournalTietojenkäsittelytiede
    Volume22
    Publication statusPublished - 2004
    MoE publication typeA1 Journal article-refereed

    Keywords

    • propositional safisfiability
    • satisfiability checking

    Cite this