Sciweavers

Share
ENTCS
2008

A Database Approach to Distributed State Space Generation

10 years 1 months ago
A Database Approach to Distributed State Space Generation
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 variables from unbounded domains, such as lists or other recursive datatypes. Our solution is to introduce a database which maintains a global numbering of state values. We also describe tree-compression, a technique of recursive state folding, and show that it is superior to manipulating plain state vectors. This solution is implemented and linked to the
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002
Comments (0)
books