Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.

Witold Charatonik, Michal Wrona

Browse the full LPAR paper archive.