Optimal partial-order plan relaxation via MaxSAT (Q2821448)

From MaRDI portal





scientific article; zbMATH DE number 6628782
Language Label Description Also known as
English
Optimal partial-order plan relaxation via MaxSAT
scientific article; zbMATH DE number 6628782

    Statements

    0 references
    0 references
    0 references
    21 September 2016
    0 references
    Optimal partial-order plan relaxation via MaxSAT (English)
    0 references

    Identifiers