%% -*-BibTeX-*-


@Article{CookKochSteffyWolter2011,
  author       = "W. Cook and T. Koch and D. Steffy and K. Wolter",
  title        = "An exact rational mixed-integer programming solver",
  journal      = "To appear in Integer Programming and Combinatorial Optimization",
  year         = "2011",
}