An algorithm for goal-driven simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |