No label defined (Q3604003)

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

    Statements

    publication date
    24 February 2009
    0 references
    zbMATH Keywords
    AdaptNovelty\(^+\)
    0 references
    G\(^2\)WSAT
    0 references
    SAT-solver
    0 references
    clause weighting
    0 references
    adaptive heuristic
    0 references
    describes a project that uses
    Walksat
    0 references
    NiVER
    0 references

    Identifiers

    zbMATH DE Number
    5510694
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3604003&oldid=27914869"
    Powered by MediaWiki