Author:
Apt Krzysztof R.,Brand Sebastian
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
2. Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)
3. Apt, K.R., Brand, S.: Constraint-based qualitative simulation. In: Proc. of 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 26–34. IEEE Computer Society Press, Los Alamitos (2005)
4. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116 (2000)
5. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. In: Advances in Computers, vol. 58. Academic Press, London (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献