Resolution Is Not Automatizable Unless W[P] Is Tractable.

Michael Alekhnovich Alexander A. Razborov

Published in: SIAM J. Comput. (2008)

Keyphrases

high resolution
consequence finding
low resolution
information systems
np complete
data sets
machine learning
learning algorithm
e learning
clustering algorithm
high level
bayesian networks
reinforcement learning
computationally tractable