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

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002
• Keywords: ENTCS 2008, State Space, State Space Generation, State Values