QBF 2014 WORKSHOP REPORT: KEYWORD INDEX

Shortcuts: C F H L P Q R

C
Certificates	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs (PDF, talk)
F
first-order logic	On the Relation between Resolution Calculi for QBFs and First-order Formulas (PDF, talk)
H
Herbrand functions	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs (PDF, talk)
L
Long-distance resolution	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs (PDF, talk)
P
p-simulation	On the Relation between Resolution Calculi for QBFs and First-order Formulas (PDF, talk)
Q
QBF	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs (PDF, talk)
R
resolution	On the Relation between Resolution Calculi for QBFs and First-order Formulas (PDF, talk)