In the end, the method of merging adjacent logical nodes is used to produce minimal CNF variables and clauses.
英
美
释义
最后合并相邻节点,根据合并后的逻辑关系生成变量和子句。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载