When Arthur Has Neither Random Coins Nor Time to Spare: Superfast Derandomization of Proof Systems.

Lijie Chen Roei Tell

Published in: STOC (2023)

Keyphrases

information retrieval
computer systems
evolutionary algorithm
hidden markov models
distributed systems
neural network
e learning
website
optimal solution
relational databases
mobile devices
intelligent systems
knowledge based systems
building blocks
complex systems
retrieval systems