Quantified Positive Temporal Constraints

Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order without endpoints using a relational symbol , logical conjunction and disjunction. This paper gives a complete complexity characterization for quantified constraint satisfaction problems (QCSP) over positive temporal languages. Although the constraint satisfaction problem (CSP) for an arbitrary positive temporal language is trivial (all these templates are closed under constant functions), the corresponding QCSP problems are decidable in LOGSPACE or complete for one of the following classes: NLOGSPACE, P, NP or PSPACE.

• Type: Conference
• Year: 2008
• Where: CSL
• Authors: Witold Charatonik, Michal Wrona
• Keywords: Automated Reasoning, Constraint Satisfaction Problem, CSL 2008, Positive Temporal Constraint, Positive Temporal Language