No label defined (Q3005898)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Takehide Soh
    0 references
    Katsumi Inoue
    0 references
    Naoyuki Tamura
    0 references
    Mutsunori Banbara
    0 references
    Hidetomo Nabeshima
    0 references
    publication date
    10 June 2011
    0 references
    zbMATH DE Number
    5906478
    0 references
    zbMATH Keywords
    Boolean satisfiability
    0 references
    strip packing problem
    0 references
    SAT encoding
    0 references
    constraint satisfaction problem
    0 references
    describes a project that uses
    MiniSat
    0 references
    SATIRE
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3005898&oldid=27425545"
    Powered by MediaWiki