OR-Parallel Prolog and Search Problems in AI Applications.
T. J. ReynoldsPetros KefalasPublished in: ICLP (1990)
Keyphrases
- search problems
- parallel version
- parallel processors
- orders of magnitude
- heuristic search
- search algorithm
- state space search
- iterative deepening
- efficient search
- search strategies
- solving hard
- search space
- declarative programming
- heuristic search algorithms
- logic programming
- knowledge representation
- planning problems
- data structure
- document collections
- programming language
- upper bound
- combinatorial search
- image retrieval