Login / Signup
Approximating a Multi-Grid Solver.
Valentin Le Fèvre
Leonardo Bautista-Gomez
Osman S. Unsal
Marc Casas
Published in:
PMBS@SC (2018)
Keyphrases
</>
neural network
real time
learning algorithm
grid computing
multiscale
artificial neural networks
exact computation
quantified boolean formulas