Approximating the existential theory of the reals.

Argyrios Deligkas John Fearnley Themistoklis Melissourgos Paul G. Spirakis

Published in: J. Comput. Syst. Sci. (2022)

Keyphrases

general theory
information theory
database
real time
neural network
theoretical framework
query answering
theoretical basis
proof theory