Sign in

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

Xi ChenYuhao LiMihalis Yannakakis
Published in: CCC (2023)
Keyphrases