A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation
NAKAHARA, Hiroki; SASAO, Tsutomu; MATSUURA, Munehiro; KAWAMURA, Yoshifumi
- 期刊名称IEICE Transactions on Information and Systems
- 作者NAKAHARA, Hiroki; SASAO, Tsutomu; MATSUURA, Munehiro; KAWAMURA, Yoshifumi
- 期第8期
- 印刷ISSN0916-8532
- 电子ISSN1745-1361
- 文件大小1063.52KB
- 发表时间2010
- DOI10.1587/transinf.e93.d.2048
- 页码2048-2058