Modeling and solving staff scheduling with partial weighted maxSAT (Q1730743)

From MaRDI portal
Revision as of 15:22, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Modeling and solving staff scheduling with partial weighted maxSAT
scientific article

    Statements

    title
    Modeling and solving staff scheduling with partial weighted maxSAT (English)
    0 references
    author
    Emir Demirović
    0 references
    Nysret Musliu
    0 references
    Felix Winter
    0 references
    publication date
    6 March 2019
    0 references
    Mathematics Subject Classification ID
    90B35
    0 references
    68T20
    0 references
    90B70
    0 references
    zbMATH DE Number
    7032708
    0 references
    zbMATH Keywords
    employee scheduling
    0 references
    maxSAT
    0 references
    SAT encodings
    0 references
    cardinality constraints
    0 references
    Wikidata QID
    Q59607527
    0 references
    describes a project that uses
    Sat4j
    0 references
    Open-WBO
    0 references
    Riss
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1730743&oldid=23898978"
    Powered by MediaWiki