11 search results - page 3 / 3 » Verification of Proofs of Unsatisfiability for CNF Formulas |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...