Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems

Michał Wrona

A temporal (constraint) language is a relational structure with a first-order definition in the rational numbers with the order. We study here the complexity of the Quantified Cons…