Kyoko SEKINE


Computational Investigations of All-Terminal Network Reliability via BDDs
Hiroshi IMAI Kyoko SEKINE Keiko IMAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/05/25
Vol. E82-A  No. 5  pp. 714-721
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
network reliabilityBDDoutput-size sensitive#P-complete
 Summary | Full Text:PDF

Counting the Number of Paths in a Graph via BDDs
Kyoko SEKINE Hiroshi IMAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/04/25
Vol. E80-A  No. 4  pp. 682-688
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
graphspaths#P-completeBDD
 Summary | Full Text:PDF