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

Olaf Beyersdorff Joshua Blinkhorn Luke Hinde

Published in: ITCS (2018)

Keyphrases

semantic information
storage requirements
expected cost
semantic web
semantic similarity
cost sensitive
total cost
quantified boolean formulas
semantic annotation
maintenance cost
cost savings
storage cost
random instances