Efficient Decision Algorithms for Locally Finite Theories.
Volker WeispfenningPublished 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