Preconditioned Krylov solvers on GPUs.
Hartwig AnztMark GatesJack J. DongarraMoritz KreutzerGerhard WelleinMartin KoehlerPublished in: Parallel Comput. (2017)
Keyphrases
- general purpose
- sat solvers
- iterative methods
- eigenvalue problems
- conjugate gradient algorithm
- sat solving
- computational power
- highly optimized
- parallel architectures
- graphics hardware
- parallel programming
- database
- parallel processing
- quantified boolean formulas
- search engine
- graphics cards
- graphics processing units
- constraint solver
- orders of magnitude
- least squares
- website
- learning algorithm
- neural network