Assignment Stack Shrinking (Q4931560)

From MaRDI portal
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
    describes a project that uses
    Zchaff2004
    0 references
    Chaff
    0 references
    Jerusat
    0 references
    Eureka
    0 references
    MiniSat
    0 references
    PicoSAT
    0 references

    Identifiers

    zbMATH DE Number
    5793474
    0 references
    OpenAlex ID
    W2170253995
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4931560&oldid=32209591"
    Powered by MediaWiki