Efficient distributed SAT and SAT-based distributed Bounded Model Checking.

Malay K. Ganai Aarti Gupta Zijiang Yang Pranav Ashar Efficient distributed SAT and SAT-based distributed Bounded Model Checking. 387-396 2006 8 STTT 4-5 http://dx.doi.org/10.1007/s10009-005-0203-z db/journals/sttt/sttt8.html#GanaiGYA06