View in EDS PDF Full Text

Parallel SAT Solving in Bounded Model Checking.

Saved in:
Bibliographic Details
Title: Parallel SAT Solving in Bounded Model Checking.
Authors: Ábrahám, Erika, Schubert, Tobias, Becker, Bernd
Source: Journal of Logic & Computation; February 2011, Vol. 21 Issue 1, p5-21, 17p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/exp002