![](/img/cover-not-exists.png)
Efficient distributed SAT and SAT-based distributed Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav AsharVolume:
8
Language:
english
Pages:
10
DOI:
10.1007/s10009-005-0203-z
Date:
August, 2006
File:
PDF, 271 KB
english, 2006