Disjunctive Temporal Problems under Structural Restrictions
(2021)
Presentation / Conference Contribution
Dabrowski, K. K., Jonsson, P., Ordyniak, S., & Osipov, G. (2021, February). Disjunctive Temporal Problems under Structural Restrictions. Presented at 35th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada
The disjunctive temporal problem (DTP) is an expressive temporal formalism that extends Dechter et al.’s simple temporal problem. The DTP is well studied in the literature and has many important applications. It is known that deciding satisfiability... Read More about Disjunctive Temporal Problems under Structural Restrictions.