On the Efficiency of Parallel Backtracking
IEEE Transactions on Parallel and Distributed Systems
Are many reactive agents better than a few deliberative ones?
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Planner9, a HTN Planner Distributed on Groups of Miniature Mobile Robots
ICIRA '09 Proceedings of the 2nd International Conference on Intelligent Robotics and Applications
Paper: Automatic test pattern generation on parallel processors
Parallel Computing
Confidence-based work stealing in parallel constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Consistent linear speedups to a first solution in parallel state-space search
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Job-level proof-number search for connect6
CG'10 Proceedings of the 7th international conference on Computers and games
Boosting multi-core reachability performance with shared hash tables
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Distributed constraint programming with agents
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
Proceedings of the 34th International Conference on Software Engineering
Partitioning Search Spaces of a Randomized Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Improved multi-core nested depth-first search
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |