Volume 8; Issue 3

Journal of Grid Computing

Volume 8; Issue 3
4

Parallel SAT Solving on Peer-to-Peer Desktop Grids

Year:
2010
Language:
english
File:
PDF, 1.28 MB
english, 2010