aspeed: Solver scheduling via answer set programming (Q4592974)

From MaRDI portal
Revision as of 12:11, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6804539
Language Label Description Also known as
English
aspeed: Solver scheduling via answer set programming
scientific article; zbMATH DE number 6804539

    Statements

    title
    aspeed: Solver scheduling via answer set programming (English)
    0 references
    author
    Holger H. Hoos
    0 references
    Roland Kaminski
    0 references
    Marius Lindauer
    0 references
    Torsten Schaub
    0 references
    publication date
    9 November 2017
    0 references
    zbMATH Keywords
    algorithm schedules
    0 references
    answer set programming
    0 references
    portfolio-based solving
    0 references
    describes a project that uses
    SATzilla
    0 references
    SMAC
    0 references
    Potassco
    0 references
    Sugar
    0 references
    Paramils
    0 references
    irace
    0 references

    Identifiers

    zbMATH DE Number
    6804539
    0 references
    Wikidata QID
    Q59585916
    0 references
    arXiv ID
    1401.1024
    0 references
    OpenAlex ID
    W2170245713
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4592974&oldid=37419012"
    Powered by MediaWiki