Relativization makes contradictions harder for Resolution.

Stefan S. Dantchev Barnaby Martin

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

high resolution
low resolution
np hard
artificial intelligence
evolutionary algorithm
optimal solution
multiscale
neural network
pattern recognition
training set
feature extraction
three dimensional
information systems
mobile robot
input image
medical images
np complete