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

From MaRDI portal
Revision as of 08:54, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/anor/DemirovicMW19, #quickstatements; #temporary_batch_1731483406851)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    zbMATH Keywords
    employee scheduling
    0 references
    maxSAT
    0 references
    SAT encodings
    0 references
    cardinality constraints
    0 references
    describes a project that uses
    Sat4j
    0 references
    Open-WBO
    0 references
    Riss
    0 references

    Identifiers

    Mathematics Subject Classification ID
    90B35
    0 references
    68T20
    0 references
    90B70
    0 references
    zbMATH DE Number
    7032708
    0 references
    Wikidata QID
    Q59607527
    0 references
    OpenAlex ID
    W2767925358
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1730743&oldid=37900718"
    Powered by MediaWiki