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