Paik, Doowon; Reddy, Sudhakar; Sahni, Sartaj Deleting vertices to bound path length. (English) Zbl 1061.68541 IEEE Trans. Comput. 43, No. 9, 1091-1096 (1994). MSC: 68R10 PDFBibTeX XMLCite \textit{D. Paik} et al., IEEE Trans. Comput. 43, No. 9, 1091--1096 (1994; Zbl 1061.68541) Full Text: DOI Link
Bryant, Randal E. Graph-based algorithms for Boolean function manipulation. (English) Zbl 0593.94022 IEEE Trans. Comput. 35, 677-691 (1986). MSC: 94C10 94C15 68W30 68Q25 PDFBibTeX XMLCite \textit{R. E. Bryant}, IEEE Trans. Comput. 35, 677--691 (1986; Zbl 0593.94022) Full Text: DOI
Ibaraki, Toshihide; Kameda, Tsunehiko; Toida, Shunichi On minimal test sets for locating single link failures in networks. (English) Zbl 0455.94048 IEEE Trans. Comput. 30, 182-190 (1981). MSC: 94C15 68Q25 PDFBibTeX XMLCite \textit{T. Ibaraki} et al., IEEE Trans. Comput. 30, 182--190 (1981; Zbl 0455.94048) Full Text: DOI