Hard QBFs for Merge Resolution.

Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan Tomás Peitl Gaurav Sood

Published in: FSTTCS (2020)

Keyphrases

quantified boolean formulas
high resolution
low resolution
consequence finding
database
artificial intelligence
information systems
video sequences
knowledge representation