Small Stone in Pool (Q5495109)

From MaRDI portal
scientific article; zbMATH DE number 6323269
Language Label Description Also known as
English
Small Stone in Pool
scientific article; zbMATH DE number 6323269

    Statements

    title
    Small Stone in Pool (English)
    0 references
    publication date
    31 July 2014
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    03B05
    0 references
    03F20
    0 references
    68T15
    0 references
    zbMATH DE Number
    6323269
    0 references
    zbMATH Keywords
    pool resolution
    0 references
    conflict-driven clause learning
    0 references
    Stone tautologies
    0 references
    arXiv ID
    1405.5626
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5495109&oldid=33766447"
    Powered by MediaWiki