Lower bounds: from circuits to QBF proof systems.

Olaf Beyersdorff Ilario Bonacina Leroy Chew

Published in: Electron. Colloquium Comput. Complex. (2015)

Keyphrases

lower bound
computer systems
upper bound
objective function
complex systems
management system
high speed