Investigating half precision arithmetic to accelerate dense linear system solvers.

Azzam Haidar Panruo Wu Stanimire Tomov Jack J. Dongarra

Published in: ScalA@SC (2017)

Keyphrases

high precision
sat solvers
floating point
linear constraints
information retrieval
genetic algorithm
search engine
case study
search algorithm
evolutionary algorithm
piecewise linear
simple linear
sat instances
arithmetic operations