Partitioning Search Spaces of a Randomized Search (Q3100181)

From MaRDI portal
Revision as of 12:46, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Partitioning Search Spaces of a Randomized Search
scientific article

    Statements

    title
    Partitioning Search Spaces of a Randomized Search (English)
    0 references
    DOI
    10.3233/FI-2011-404
    0 references
    author
    Antti E. J. Hyvärinen
    0 references
    Tommi Junttila
    0 references
    Ilkka Niemelä
    0 references
    publication date
    22 November 2011
    0 references
    zbMATH DE Number
    5977333
    0 references
    zbMATH Keywords
    SAT solving
    0 references
    randomized search
    0 references
    distributed constraint-based search
    0 references
    describes a project that uses
    PSATO
    0 references
    PaMiraXT
    0 references
    PaQuBE
    0 references
    ManySAT
    0 references
    MiniSat
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3100181&oldid=23230279"
    Powered by MediaWiki