×
作者ID: 布洛森内·亨里克“Brosenne,Henrik”最近发表的zbMATH文章
发布日期: 亨里克·布罗森
已编制索引的文档: 5出版物自2001年起
合著者: 3位合著者具有5联合出版物
31位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

4出版物有被引用11中的次9文件 引用人 年份
图驱动的自由奇偶校验BDD:算法和下限。 Zbl 0999.68068号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
4
2001
具有重复测试和各种验收模式的非确定性有序二元决策图。 Zbl 1187.68247号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
2006
一般图形驱动的只读奇偶分支程序的下限。 Zbl 1124.68360号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
2003
描述由结构良好的图形驱动平价FBDD表示的布尔函数的复杂性。 Zbl 1032.68081号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
1
2002
具有重复测试和各种验收模式的非确定性有序二元决策图。 Zbl 1187.68247号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
2006
一般图驱动的一次读取奇偶校验分支程序的下限。 Zbl 1124.68360号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
2003
描述由结构良好的图形驱动平价FBDD表示的布尔函数的复杂性。 Zbl 1032.68081号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
1
2002
图驱动的自由奇偶校验BDD:算法和下限。 Zbl 0999.68068号
亨里克·布罗森马蒂亚斯·霍米斯特斯蒂芬·瓦克
4
2001

按年份列出的引文