An interdisciplinary experimental evaluation on the disjunctive temporal problem (Q6080502)

From MaRDI portal
scientific article; zbMATH DE number 7745120
Language Label Description Also known as
English
An interdisciplinary experimental evaluation on the disjunctive temporal problem
scientific article; zbMATH DE number 7745120

    Statements

    An interdisciplinary experimental evaluation on the disjunctive temporal problem (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    2 October 2023
    0 references
    disjunctive temporal problem
    0 references
    satisfiability modulo theories
    0 references
    mixed integer linear programming
    0 references
    circuit SAT
    0 references
    constraint programming
    0 references

    Identifiers