The resolution program, able to decide some solvable classes.

Published in: Conference on Computer Logic (1988)

Keyphrases

special case
np hard
np complete
lower bound
data structure
video sequences
computational complexity
artificial neural networks
search space
high resolution
low resolution