PaMiraXT: Parallel SAT Solving with Threads and Message Passing.
Tobias SchubertMatthew LewisBernd BeckerPublished in: J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
- message passing
- sat solving
- shared memory
- distributed shared memory
- message passing interface
- belief propagation
- distributed systems
- sat solvers
- parallel computing
- markov random field
- parallel programming
- approximate inference
- sat problem
- parallel implementation
- sum product algorithm
- inference in graphical models
- graphical models
- orders of magnitude
- dynamic programming