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
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
0 references
0 references
