Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking. Journal of Logic and Computation, 21(1):5-21, 2011. [doi]
@article{AbrahamSBFH11, title = {Parallel SAT Solving in Bounded Model Checking}, author = {Erika Ábrahám and Tobias Schubert and Bernd Becker and Martin Fränzle and Christian Herde}, year = {2011}, doi = {10.1093/logcom/exp002}, url = {http://dx.doi.org/10.1093/logcom/exp002}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/AbrahamSBFH11}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {21}, number = {1}, pages = {5-21}, }