Petra Bauer, Jeff T. Linderoth, Martin W. P. Savelsbergh: A branch and cut approach to the cardinality constrained circuit problem. Math. Program. 91(2): 307-348 (2002)