Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates
Tytuł:
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates
Czasopismo:
Rok:
2008
Opis:
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Strony:
543-557
Tom (seria wydawnicza):
5330
Numer DOI:
10.1007/978-3-540-89439-1_38