Mixed-integer programming for cycle detection in non-reversible Markov processes - Beckenbach, Isabel (Verfasser); Eifler, Leon (Verfasser); Fackeldey, Konstantin (Verfasser); Gleixner, Ambros M. (Verfasser); Grever, Andreas (Verfasser); Weber, Marcus (Verfasser); Witzig, Jakob (Verfasser); Zuse Institut Berlin (Herausgebendes Organ) (ZIB-Report, 2016)