Complexity of DNF minimization and isomorphism testing for monotone formulas
Complexity of DNF minimization and isomorphism testing for monotone formulas
复制标题
DNF最小化的复杂性和单调公式的同构测试
DOI:
--
复制
发表时间:
2008
影响因子:
1
通讯作者:
M. Mundhenk
中科院分区:
文献类型:
--
作者:
J. Goldsmith;Matthias Hagen;M. Mundhenk