Login / Signup
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs.
Olaf Beyersdorff
Joshua Blinkhorn
Luke Hinde
Published in:
CoRR (2017)
Keyphrases
</>
fixed cost
natural language
storage requirements
semantic annotation
semantic network
semantic information
small size
high level
semantic similarity
production cost