Assignment Stack Shrinking (Q4931560)

From MaRDI portal
Revision as of 11:25, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 5793474
Language Label Description Also known as
English
Assignment Stack Shrinking
scientific article; zbMATH DE number 5793474

    Statements

    title
    Assignment Stack Shrinking (English)
    0 references
    author
    Alexander Nadel
    0 references
    Vadim Ryvchin
    0 references
    publication date
    29 September 2010
    0 references
    zbMATH DE Number
    5793474
    0 references
    describes a project that uses
    Zchaff2004
    0 references
    Chaff
    0 references
    Jerusat
    0 references
    Eureka
    0 references
    MiniSat
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4931560&oldid=23197369"
    Powered by MediaWiki