FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
Shortcuts: BCGHPRS
B
Bryant, Randal
Moving Definition Variables in Quantified Boolean Formulas (Extended Abstract)
C
Chew, Leroy
Strategy Extraction and Proof
G
Golia, Priyanka
A Data-Driven Approach for Boolean Functional Synthesis
H
Hartisch, Michael
Advances in Quantified Integer Programming
Hecher, Markus
Lower Bounds for QBFs of Bounded Treewidth
Heule, Marijn
Moving Definition Variables in Quantified Boolean Formulas (Extended Abstract)
P
Peitl, Tomáš
QCDCL with Cube Learning or Pure Literal Elimination - Part 2
R
Reeves, Joseph
Moving Definition Variables in Quantified Boolean Formulas (Extended Abstract)
S
Saffidine, Abdallah
From QBF to the Dynamic Logic of Propositional Assignments and back: a computational perspective
Slivovsky, Friedrich
QBF Solvers and their Proof Systems