A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation

Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura, Yoshifumi Kawamura. A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation. IEICE Transactions, 93-D(8):2048-2058, 2010. [doi]

Abstract

Abstract is missing.