Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computational Efficiency of Parallel Combinatorial OR-Tree Searches
IEEE Transactions on Software Engineering
Best first search in and/or graphs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Knowledge-Based Approaches for Scheduling Problems: A Survey
IEEE Transactions on Knowledge and Data Engineering
Integrating knowledge in problem solving search procedures
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
An efficient data structure for branch-and-bound algorithm
Information Sciences—Informatics and Computer Science: An International Journal
Point-based incremental pruning heuristic for solving finite-horizon DEC-POMDPs
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Preprocessing search spaces for branch and bound search
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |