On the Amount of Nondeterminism and the Power of Verifying.

Liming Cai Jianer Chen

Published in: SIAM J. Comput. (1997)

Keyphrases

power consumption
power distribution
real world
situation calculus
database
preprocessing
databases
search engine
decision making
case study
long term