Compatibility and Complexity of Refinements of the Resolution Principle.

Richard B. Kieburtz David C. Luckham

Published in: SIAM J. Comput. (1972)

Keyphrases

high resolution
real time
search engine
computational complexity
expert systems
information technology
worst case
low resolution
decision problems
space complexity
feature selection
knowledge base
evolutionary algorithm
multi objective
hidden markov models