DMCA

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

by Tobias Schubert , Matthew Lewis , Bernd Becker
Citations:16 - 0 self