Login / Signup

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