Erika Ábrahám Tobias Schubert Bernd Becker Martin Fränzle Christian Herde Parallel SAT Solving in Bounded Model Checking. 301-315 2006 conf/fmics/2006 FMICS/PDMC http://dx.doi.org/10.1007/978-3-540-70952-7_21 db/conf/fmics/fmics2006.html#AbrahamSBFH06