Miroslav Olšák
Miroslav Olšák
Affiliation: Charles University, Prague
Affiliation: Czech Institute of Informatics Robotics and Cybernetics
Talks
(PC)
A QBF-like Fragment of EPR · QBF Joint Contrib Talks 1
(QBF)
A QBF-like Fragment of EPR · QBF Proof Complexity (PC and QBF Joint Session)
Pages in this Program
Program
Program on Sunday, 19 July 2026
PC on Sunday, 19 July 2026
PC Program
QBF on Sunday, 19 July 2026
QBF Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑