Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B E G H J K L M P S W

B
Balabanov, Valeriy	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Becker, Bernd	Incremental QBF Reasoning for the Verification of Partial Designs
E
Egly, Uwe	On the Relation between Resolution Calculi for QBFs and First-order Formulas Conformant Planning as a Case Study of Incremental QBF Solving
G
Gascón, Adrià	Synthesis of distributed systems using QBF
H
Heule, Marijn	A Unified Proof System for QBF Preprocessing
J
Janota, Mikolas	On Instantiation-Based Calculi for QBF Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Jiang, Jie-Hong Roland	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Jordan, Charles	The QBF Gallery 2014
K
Koenighofer, Robert	Reactive Synthesis using (Incremental) QBF Solving
Kronegger, Martin	Conformant Planning as a Case Study of Incremental QBF Solving
L
Lonsing, Florian	Conformant Planning as a Case Study of Incremental QBF Solving
M
Marin, Paolo	Incremental QBF Reasoning for the Verification of Partial Designs
Miller, Christian	Incremental QBF Reasoning for the Verification of Partial Designs
P
Pfandler, Andreas	Conformant Planning as a Case Study of Incremental QBF Solving
S
Scholl, Christoph	Dependency Quantified Boolean Formulas - Challenges, Applications, First Lines of Attack
Seidl, Martina	The QBF Gallery 2014
Slivovsky, Friedrich	Resolution Paths and Term Resolution
Szeider, Stefan	Resolution Paths and Term Resolution
W
Widl, Magdalena	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs