A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Proof planning with multiple strategies
Artificial Intelligence
Cooperative search for optimizing pipeline operations
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Hi-index | 0.00 |