Reducing Tarski to Unique Tarski (In the Black-Box Model)

Xi Chen 0001, Yuhao Li, Mihalis Yannakakis. Reducing Tarski to Unique Tarski (In the Black-Box Model). In Amnon Ta-Shma, editor, 38th Computational Complexity Conference, CCC 2023, July 17-20, 2023, Warwick, UK. Volume 264 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.