Complexity of Unification Problems with Associative-Commutative Operators.
Deepak KapurPaliath NarendranPublished in: J. Autom. Reason. (1992)
Keyphrases
- solving problems
- problems involving
- decision problems
- worst case
- higher order
- np complete
- polynomial hierarchy
- np hardness
- neural network
- information systems
- machine learning
- optimization problems
- upper bound
- mathematical morphology
- space complexity
- morphological operators
- computational complexity
- multiscale
- computational issues