External Links

    Journal: JSAT

    Volume 6, Issue 4

    203 -- 222Tobias Schubert, Matthew D. T. Lewis, Bernd Becker. PaMiraXT: Parallel SAT Solving with Threads and Message Passing
    223 -- 244Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. Incorporating Clause Learning in Grid-Based Randomized SAT Solving
    245 -- 262Youssef Hamadi, Saïd Jabbour, Lakhdar Sais. ManySAT: a Parallel SAT Solver
    263 -- 0Youssef Hamadi. Conclusion to the Special Issue on Parallel SAT Solving
    runs on