No solvable lambda-value term left behind.

Álvaro García-Pérez Pablo Nogueira

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

np complete
special case
fixed point
np hard
web corpora
neural network
information systems
image processing
bayesian networks
optimal solution
multi agent systems
computational complexity
lower bound
image restoration