How to Speed Up CUDA-WSat-PcL by 5x.
Heng LiuArrvindh ShriramanEvgenia TernovskaPublished in: CANDAR (2016)
Keyphrases
- satisfiability problem
- parallel implementation
- stochastic local search
- general purpose
- propositional satisfiability
- principle of maximum entropy
- gpu accelerated
- search algorithm
- graphics hardware
- temporal logic
- parallel computing
- compute unified device architecture
- maximum entropy
- np complete
- random sat
- graphics processors
- gpu implementation
- neural network
- parallel computation
- search strategy
- parallel algorithm
- sat solvers
- mixed integer programming
- solving hard
- sat problem
- search space
- bayesian networks
- random sat instances
- information systems