Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates

DOI10.1007/978-3-540-89439-1_38zbMath1182.68228OpenAlexW1884553506MaRDI QIDQ5505580

Witold Charatonik, Michał Wrona

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_38

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Quantified Constraints in Twenty Seventeen ⋮ Tractability of quantified temporal constraints to the max

This page was built for publication: Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates