Complete Problems in the First-Order Predicate Calculus.
David A. PlaistedPublished in: J. Comput. Syst. Sci. (1984)
Keyphrases
- benchmark problems
- problems involving
- solving problems
- knowledge base
- computational biology
- medical images
- np complete
- application domains
- optimization problems
- difficult problems
- practical problems
- main problems
- search methods
- decision problems
- databases
- dynamic programming
- artificial neural networks
- pattern recognition
- high level
- three dimensional
- computer vision
- machine learning
- neural network