Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams

被引:0
|
作者
FB Informatik, LS II, Universität Dortmund, 44221 Dortmund, Germany [1 ]
机构
来源
Theory Comput. Syst. | / 4卷 / 487-503期
关键词
Number:; We; 1066/8; Acronym:; DFG; Sponsor: Deutsche Forschungsgemeinschaft;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条