Parallelization of state space generation is an important technical method to deal with the state space explosion problem.

• 摘要 状态空间生成的并行化是针对状态空间爆炸问题而提出的一种重要手段。