VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

C
Certificates	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Resolution Paths and Term Resolution
D
Dependency Schemes	Resolution Paths and Term Resolution
F
first-order logic	On the Relation between Resolution Calculi for QBFs and First-order Formulas
H
Herbrand functions	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
L
Long-distance resolution	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
P
p-simulation	On the Relation between Resolution Calculi for QBFs and First-order Formulas
Q
Q-resolution	Resolution Paths and Term Resolution
QBF	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
R
resolution	On the Relation between Resolution Calculi for QBFs and First-order Formulas
V
Variable Dependencies	Resolution Paths and Term Resolution

Disclaimer | Powered by EasyChair Smart Program