PaMiraXT: Parallel SAT Solving with Threads and Message Passing. (2009)

by T Schubert, M Lewis, B Becker
Venue:Journal on Satisfiability, Boolean Modeling and Computation. Special Issue on Parallel SAT Solving