icosahedral space

• 二十面体空间

icosahedral space的用法和样例：

例句

1. Because the state traversal can be done in a reduced space with respect to a selected set of explicitreset registers, the state explosion problem can be much alleviated.
   因为在挑选了外部硬体重置的暂存器后，可使得初始化分析所需的记忆体空间降低，因此而减轻了状态转换数剧增的问题。