Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity.

Daniele Mundici

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

Keyphrases

worst case
neural network
computational complexity
data mining
image processing
cooperative
data model
np hard
wireless sensor networks
computational cost
np complete
space complexity