Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    31 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut373-399
    JulkaisuAnnals of Mathematics and Artificial Intelligence
    Vuosikerta44
    Numero4
    DOI - pysyväislinkit
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • Boolean circuits
    • cut rule
    • DPLL
    • proof complexity
    • satisfiability

    Siteeraa tätä