Sankar Basu
Journal of the Franklin Institute
We present a linear-time algorithm that finds all edges and vertices in the intersection of all odd cycles in a given graph. We also show an application of our algorithm to a variant of the satisfiability problem of Boolean formulas.
Sankar Basu
Journal of the Franklin Institute
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Mario Blaum, John L. Fan, et al.
IEEE International Symposium on Information Theory - Proceedings
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence