MAKITA Tomu   NAGAO Atsuki   OKADA Tatsuki   SETO Kazuhisa   TERUYAMA Junichi   
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E105.A(9) 1298-1308 2022年9月 [査読有り]
A branching program is a well-studied model of computation and a representation for Boolean functions. It is a directed acyclic graph with a unique root node, some accepting nodes, and some rejecting nodes. Except for the accepting and rejecting n...