A Collaborative Approach for Multi-Threaded SAT Solving.
Pascal Vander-SwalmenGilles DequenMichaël KrajeckiPublished in: Int. J. Parallel Program. (2009)
Keyphrases
- multi threaded
- sat solving
- sat solvers
- boolean satisfiability
- operating system
- multi core processors
- sat problem
- computer architecture
- information flow
- symmetry breaking
- constraint satisfaction
- max sat
- multithreading
- orders of magnitude
- clause learning
- search space
- sat encodings
- real time
- parallel algorithm
- special case
- search algorithm