PFEAST: a high performance sparse eigenvalue solver using distributed-memory linear solvers.
James KestynVasileios KalantzisEric PolizziYousef SaadPublished in: SC (2016)
Keyphrases
- distributed memory
- ibm sp
- scientific computing
- shared memory
- parallel implementation
- quantified boolean formulas
- fine grain
- multiprocessor systems
- eigenvalue problems
- parallel computers
- constraint solver
- sat solving
- parallel processing
- multithreading
- matrix multiplication
- data parallelism
- multi processor
- parallel machines
- clause learning
- parallel architecture
- image processing
- computer architecture
- sat solvers
- parallel algorithm
- simulated annealing