SPTHEO - A Parallel Theorem Prover
Journal of Automated Reasoning
SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
Requirement-Based Cooperative Theorem Proving
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Very fast motion planning for dexterous robots
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Predicting the Performance of Randomized Parallel Search: An Application to Robot Motion Planning
Journal of Intelligent and Robotic Systems
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Cooperation of heterogeneous provers
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
| Hi-index | 0.00 |