On the power of many one-bit provers.

Per Austrin Johan Håstad Rafael Pass

Published in: ITCS (2013)

Keyphrases

power consumption
theorem prover
real time
databases
clustering algorithm
power management
data sets
artificial intelligence
website
case study
digital libraries
artificial neural networks
pattern matching
low power