%% -*-BibTeX-*-


@Article{CookKochSteffyWolter2011,
  author       = "W. Cook and T. Koch and D. Steffy and K. Wolter",
  title        = "An exact rational mixed-integer programming solver",
  journal      = "Integer Programming and Combinatorial Optimization",
  volume       = "6655",
  pages        = "104--116",
  year         = "2011",
  series       = "Lecture Notes in Computer Science",
}