PaMiraXT: Parallel SAT Solving with Threads and Message Passing
Tobias Schubert, Matthew Lewis, Bernd Becker · Journal on Satisfiability Boolean Modeling and Computation · 2009
This article describes PaMiraXT, a powerful parallel SAT algorithm. PaMiraXT follows a master/client model based on message passing, making it suitable for any kind of workstation cluster. For the clients, MiraXT is used, which itself is thread-based