BibTeX
@INPROCEEDINGS{
         Lotz2016MIP,
       booktitle = "2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific
         Computing, Albuquerque, New Mexico, USA, October~10--12",
       editor = "A. H. Gebremedhin and E. G. Boman and B. Ucar",
       pages = "83--91",
       address = "Philadelphia, PA, USA",
       publisher = "SIAM",
       year = "2016",
       doi = "10.1137/1.9781611974690.ch9",
       ad_theotech = "Checkpointing",
       author = "Johannes Lotz and Uwe Naumann and Sumit Mitra",
       title = "Mixed Integer Programming for Call Tree Reversal"
}