87
Voted
ENTCS
2008
15 years 2 months ago
2008
We study distributed state space generation on a cluster of workstations. It is explained why state space partitioning by a global hash function is problematic when states contain...