...豆丁网 二值决策图 (ordered binary decision diagram, OBDD)的方法和 基于可分解的否定范式(decomposable negation normal form, DNNF)的编译方法。
基于1个网页-相关网页
decomposable negation normal form
可分解的否定范式
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动