A Linear-time Algorithm for Computing the Intersection of All Odd Cycles in a Graph

Abstract 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.