Keyphrases
- parallel algorithm
- graphics processors
- parallel computation
- real time
- graphics hardware
- gpu accelerated
- gpu implementation
- parallel implementation
- cluster of workstations
- sat solvers
- parallel computing
- highly optimized
- parallel programming
- linear systems
- parallel processing
- neural network
- quantified boolean formulas
- graphics processing units
- data sets
- global constraints
- database
- general purpose
- evolutionary algorithm
- lower bound
- case study
- information systems
- sat solving
- genetic algorithm
- eigenvalue problems
- heterogeneous computing