Keyphrases
- logic programming
- dynamic programming
- parallel genetic algorithm
- depth first search
- programming language
- parallel implementation
- shared memory
- uniformly distributed
- expert systems
- search algorithm
- random variables
- constraint satisfaction
- optimal solution
- knowledge base
- greedy heuristic
- parallel programming
- tree search
- data distribution
- spatial distribution
- theorem proving
- parallel processing
- real time
- simulated annealing
- probability distribution
- genetic algorithm