Todistuskompleksisuudesta Boolen piirien toteutuvuustarkastuksessa

Matti Järvisalo

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

    Original languageEnglish
    Title of host publicationTietojenkäsittelytieteen päivät 2004, Joensuu, 24.-26.5.2004
    EditorsPasi Fränti, Esko Marjomaa
    Place of PublicationJoensuu
    PublisherJoensuun yliopisto
    Pages49-53
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Boolean circuits
    • cut rule
    • Davis-Putnam procedure
    • proof complexity
    • Satisfiability checking

    Cite this