On Parallel Scalable Uniform SAT Witness Generation.
Supratik ChakrabortyDaniel J. FremontKuldeep S. MeelSanjit A. SeshiaMoshe Y. VardiPublished in: TACAS (2015)
Keyphrases
- satisfiability testing
- linear array
- sat solvers
- generation process
- parallel computing
- web scale
- commodity hardware
- sat solving
- multi core processors
- propositional satisfiability
- distributed memory
- real time
- parallel implementation
- search algorithm
- sat problem
- computer architecture
- massively parallel
- max sat
- memory efficient
- map reduce
- parallel execution
- shared memory
- satisfiability problem
- parallel processing
- multi processor
- neural network
- stochastic local search algorithms
- data sets