Ernst Althaus Gunnar W. Klau Oliver Kohlbacher Hans-Peter Lenhof Knut Reinert Integer Linear Programming in Computational Biology. 199-218 2009 Efficient Algorithms http://dx.doi.org/10.1007/978-3-642-03456-5_14 conf/birthday/2009mehlhorn db/conf/birthday/mehlhorn2009.html#AlthausKKLR09