Block Tridiagonal Solvers on Heterogeneous Architectures.

Pedro Valero-Lara Alfredo Pinelli Julien Favier Manuel Prieto-Matías

Published in: ISPA (2012)

Keyphrases

heterogeneous environments
parallel algorithm
sat solvers
linear systems
highly dynamic
search engine
lower bound
heterogeneous computing
real time
numerically stable
sat solving
highly optimized
sat instances
fixed size
constraint satisfaction problems
multiresolution
real world
neural network
databases