Checking Computations in Polylogarithmic Time

László Babai Lance Fortnow Leonid A. Levin Mario Szegedy

Published in: STOC (1991)

Keyphrases

metadata
consistency checking
database
real time
databases
case study
relational databases
data sources
efficient computation