位置：成果数据库 > 期刊 > 期刊详情页
几个MU公式子类的最小MU分裂树规
  • 期刊名称：《计算机科学》 2006年 第33卷 NO.8
  • 时间：0
  • 相关项目：不可满足公式的结构以及证明方法的研究
作者： 姚雷博
同期刊论文项目
不可满足公式的结构以及证明方法的研究
期刊论文 21 会议论文 4
同项目期刊论文
不可满足公式的同态证明系统
极小不可满足公式在多项式归约中
Complexities of homomorphism a
k-LSAT is Np-complete for k≥3
The complexity of homomorphism
带文字改名策略的DPLL算法
A routing mechanism by distanc
Polynomial Decidability of Ren
NT-HIT(k)公式的存在性
Classes of Simplified NP-compl
正则语言与有穷自动机中的等价性
组合频率约简及动态约简对不一致
膨胀图在随机算法中的应用
Complexity of isomorphism and
An effective algorithm for red
非确定型有穷自动机中的极小化
Complexity of renaming for for
Some NP-complete Instances in
MAX（1）和MARG（1）中公式改名的复杂性
极小不可满足公式在多项式归约中的应用