英德
有道
百度
谷歌
图片
维基
百科
归约公式 [guī yuē gōng shì]
[数] reduction formula
- 当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT. - 当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为 SAT 问题。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
 |
 |
 |
 |
 |
 |
 |
中国词汇量第二的英语词典
更多精彩，登录后发现......
