Shorter arithmetization of nondeterministic computations.

Alessandro Chiesa Zeyuan Allen Zhu

Published in: Theor. Comput. Sci. (2015)

Keyphrases

finite state
real time
neural network
data mining
information retrieval
genetic algorithm
three dimensional
data structure
initial state