Keyword:PSPACE

Publications
Reintroducing the Second Player in EPR Leroy Chew, Mikoláš Janota, Miroslav Olšák and Martin Suda In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
PH = PSPACE Valerii Sopin EasyChair Preprint 7481