Quantified Positive Temporal Constraints

DOI10.1007/978-3-540-87531-4_9zbMath1156.68398OpenAlexW1525928433MaRDI QIDQ3540173

Michał Wrona, Witold Charatonik

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_9

Mathematics Subject Classification ID

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

Related Items (1)

Quantified Constraints in Twenty Seventeen

This page was built for publication: Quantified Positive Temporal Constraints