On the Power of Many One-Bit Provers

Per Austrin Johan Håstad Rafael Pass

Published in: CoRR (2013)

Keyphrases

theorem proving
power consumption
theorem prover
real time
web pages
case study
multiscale
multi agent
wireless sensor networks
digital images
bit vector