Automatic construction of optimal static sequential portfolios for AI planning and beyond (Q898741)

From MaRDI portal
Revision as of 11:07, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Automatic construction of optimal static sequential portfolios for AI planning and beyond
scientific article

    Statements

    title
    Automatic construction of optimal static sequential portfolios for AI planning and beyond (English)
    0 references
    author
    Sergio Núñez
    0 references
    Daniel Borrajo
    0 references
    Carlos Linares López
    0 references
    publication date
    18 December 2015
    0 references
    zbMATH Keywords
    portfolios
    0 references
    automated planning
    0 references
    SAT
    0 references
    describes a project that uses
    SATenstein
    0 references
    aspeed
    0 references
    MiniSat
    0 references
    SATzilla
    0 references
    Paramils
    0 references

    Identifiers

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