Efficient Decision Algorithms for Locally Finite Theories.

Volker Weispfenning

Published in: AAECC (1985)

Keyphrases

learning algorithm
computationally expensive
computationally intensive
computationally efficient
highly scalable
social networks
data structure

computational complexity
theoretical analysis
computationally demanding
pruning strategy
orders of magnitude
neural network
decision makers

evolutionary algorithm
decision making
worst case
benchmark datasets
computational cost
theoretical framework
significant improvement

combinatorial optimization
highly efficient
computer vision
space requirements
memory efficient
parallel architectures
genetic algorithm