This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into statespacesearch.
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
2
Because it is based on the exhaustive statespacesearch, the statespace explosion problem becomes the primary bottleneck when we apply model-checking to real systems.