Beyond NP: Arc-Consistency for Quantified Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
The description logic handbook
A finite set of functions with an EXPTIME-complete composition problem
Theoretical Computer Science
Complexity of probabilistic planning under average rewards
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
On the complexity of the multivariate resultant
Journal of Complexity
Hi-index | 0.00 |