@techreport{WitzigBeckenbachEifleretal.2016, author = {Jakob Witzig and Isabel Beckenbach and Leon Eifler and Konstantin Fackeldey and Ambros Gleixner and Andreas Grever and Marcus Weber}, title = {Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {16-39}, language = {eng}, year = {2016} }