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

Michael Alekhnovich Alexander A. Razborov

Published in: FOCS (2001)

Keyphrases

high resolution
low resolution
consequence finding
neural network
np hard
np complete
conflict detection
multi agent
computational complexity
preprocessing
special case
hidden markov models
computational problems