Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs.

Olaf Beyersdorff Joshua Blinkhorn Luke Hinde

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

Keyphrases

small size
minimum cost
semantic network
computational complexity
lower bound
semantic web
semantic information
cost sensitive
storage requirements
cost savings
polynomial size