Lower Bounds: From Circuits to QBF Proof Systems.

Olaf Beyersdorff Ilario Bonacina Leroy Chew

Published in: ITCS (2016)

Keyphrases

lower bound
distributed systems
computer systems
complex systems
expert systems
management system
digital circuits
asynchronous circuits