Lower Bound Techniques for QBF Proof Systems.

Published in: STACS (2018)

Keyphrases

lower bound
upper bound
objective function
expert systems
complex systems
distributed systems
retrieval systems
quantified boolean formulas
learning algorithm
worst case
building blocks
branch and bound algorithm