Towards Massively Parallel GPU Assisted SAT.
Filippos PantekisPhillip JamesPublished in: CANDARW (2022)
Keyphrases
- massively parallel
- parallel computing
- graphics processing units
- parallel programming
- parallel architectures
- satisfiability problem
- sat solvers
- sat problem
- high performance computing
- graphics processors
- fine grained
- phase transition
- parallel computation
- mesh connected
- parallel machines
- commodity hardware
- computing systems
- shared memory
- parallel processing
- parallel computers
- search algorithm
- search problems
- parallel implementation
- processing units
- np complete
- parallel execution
- np hard