Parallel SAT Simplification on GPU Architectures.
Muhammad OsamaAnton WijsPublished in: TACAS (1) (2019)
Keyphrases
- parallel implementation
- parallel architectures
- parallel computing
- parallel processing
- parallel computation
- parallel programming
- multi core processors
- graphics processing units
- cluster of workstations
- single instruction multiple data
- heterogeneous computing
- real time
- parallel computers
- multiresolution
- parallel hardware
- multi threaded
- search algorithm
- stochastic local search
- distributed memory
- massively parallel
- shared memory
- parallel algorithm
- propositional satisfiability
- satisfiability problem
- satisfiability testing
- search strategies
- max sat
- computer architecture
- sat solvers
- compute intensive
- phase transition
- heuristic search