Efficient Interpolation for the Theory of Arrays.

Jochen Hoenicke Tanja Schindler

Published in: IJCAR (2018)

Keyphrases

computationally expensive
real time
neural network
theoretical framework
highly efficient
database
databases
artificial intelligence
bayesian networks
multiscale
cost effective
information theory
formal theory