|
关注：1
2013-05-23 12:21
求翻译：我们将得到的形式化的例子转化成为一个SAT可以识别的实例是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
我们将得到的形式化的例子转化成为一个SAT可以识别的实例
问题补充： |
|
2013-05-23 12:21:38
We will be transformed into a formal example of a SAT instance can be identified
|
|
2013-05-23 12:23:18
We will be transformed into an example of the form of a SAT examples can be identified by
|
|
2013-05-23 12:24:58
We will obtain the formalized example will transform the example which into SAT might distinguish
|
|
2013-05-23 12:26:38
We will get the formal examples translated into an instance of the SAT can identify
|
|
2013-05-23 12:28:18
We will be transformed into a formal example of a SAT instance can be identified
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
