Local search for Boolean satisfiability with configuration checking and subscore (Q490437)

From MaRDI portal
Revision as of 02:41, 9 December 2024 by Import241208021249 (talk | contribs) (Normalize DOI.)
scientific article
Language Label Description Also known as
English
Local search for Boolean satisfiability with configuration checking and subscore
scientific article

    Statements

    title
    Local search for Boolean satisfiability with configuration checking and subscore (English)
    0 references
    author
    Shaowei Cai
    0 references
    Kaile Su
    0 references
    publication date
    27 August 2015
    0 references
    zbMATH Keywords
    SAT
    0 references
    local search
    0 references
    configuration checking
    0 references
    subscore
    0 references
    describes a project that uses
    MiniSat
    0 references
    ppfolio
    0 references
    pfolioUZK
    0 references
    Sparrow2011
    0 references
    SATzilla
    0 references
    NuMVC
    0 references
    cites work
    Tabu Search—Part I
    0 references
    Tabu Search—Part II
    0 references
    Q5472387
    0 references
    Q3455584
    0 references

    Identifiers

    zbMATH DE Number
    6476306
    0 references
    OpenAlex ID
    W2097153130
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q490437&oldid=38128766"
    Powered by MediaWiki