Heuristic State Space Search 启发式状态空间搜索
State Space Heuristic Search Planning 启发式状态空间规划
Search the state space 搜寻状态空间
Search of state space 状态空间搜索
以上来源于: WordNet
This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search.
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
应用推荐