A simpler counterexample to a long-standing conjecture on the complexity of Bryant's apply algorithm

A simpler counterexample to a long-standing conjecture on the complexity of Bryant's apply algorithm
复制标题

关于布莱恩特应用算法复杂性的长期猜想的一个更​​简单的反例

DOI:
10.1016/j.ipl.2013.11.003
复制
发表时间:
2014
期刊:
Inf. Process. Lett.
影响因子:
--
通讯作者:
Beate Bollig
Beate Bollig
中科院分区:
--
文献类型:
--
作者:
Beate Bollig

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1016/j.ipl.2012.05.007
发表时间: 2012-08
期刊: Inf. Process. Lett.
影响因子: --
作者:
Ryo Yoshinaka;J. Kawahara;Shuhei Denzumi;Hiroki Arimura;S. Minato
通讯作者: Ryo Yoshinaka;J. Kawahara;Shuhei Denzumi;Hiroki Arimura;S. Minato
OBDD 的渐近最优界以及一些基本 OBDD 问题的解决
DOI: 10.1006/jcss.2000.1733
发表时间: 2000
期刊: Electron. Colloquium Comput. Complex.
影响因子: --
作者:
Beate Bollig;I. Wegener
通讯作者: I. Wegener
某些基本函数的精确 OBDD 界限
DOI: 10.1007/s00224-009-9217-3
发表时间: 2008
影响因子: 0.5
作者:
Beate Bollig;Niko Range;I. Wegener
通讯作者: I. Wegener