“…Work has been done on parallelizing SAT solvers for use on asynchronous distributed systems, using some form of message passing. Such examples are GridSAT [19], PaSAT [21], PaMIRA [23], and others [16,17,18,20,22,24]. Message passing, however, is slow and requires a lot of overhead when compared to a well designed shared memory system.…”