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

Olaf Beyersdorff Joshua Blinkhorn Luke Hinde

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

high level
natural language
semantic information
total cost
small size
maintenance cost
quantified boolean formulas
semantic web
semantic annotation
storage requirements
fixed cost
semantic similarity
budget constraints