中文模板 Key words: complexity; renaming; minimal unsatisfiable formula [gap=268]关键词: 计算复杂性;改名;极小不可满足公式
基于20个网页-相关网页
minimal unsatisfiable boolean sub-formula 极小布尔不可满足子式
·2,447,543篇论文数据，部分数据来源于NoteExpress
The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
youdao
应用推荐
模块上移
模块下移
不移动