The complexity of verification.

Robert P. Kurshan

Published in: STOC (1994)

Keyphrases

decision problems
databases
information systems
computational complexity
worst case
face verification
real time
learning algorithm
artificial intelligence
expert systems
computational cost
space complexity
asynchronous circuits