Merkliste 
 1 Ergebnisse 
 
1

Probabilistically Checkable Reconfiguration Proofs and Inap..:

, In: Proceedings of the 56th Annual ACM Symposium on Theory of Computing,
Hirahara, Shuichi ; Ohsaka, Naoto - p. 1435-1445 , 2024