Comparing instance generation methods for automated reasoning (Q877884)

From MaRDI portal
Revision as of 16:47, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Comparing instance generation methods for automated reasoning
scientific article

    Statements

    title
    Comparing instance generation methods for automated reasoning (English)
    0 references
    author
    Swen Jacobs
    0 references
    Uwe Waldmann
    0 references
    publication date
    4 May 2007
    0 references
    zbMATH DE Number
    5149280
    0 references
    zbMATH Keywords
    tableau-based methods
    0 references
    disconnection tableau calculus
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q877884&oldid=12830210"
    Powered by MediaWiki