Identifying Tractable Quantified Temporal Constraints within Ord-Horn

Jakub Rydval, Žaneta Semanišinová, Michał Wrona

The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction t…