Leo Liberti, James Ostrowski
Journal of Global Optimization
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.
Leo Liberti, James Ostrowski
Journal of Global Optimization
Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007