@TechReport{FrohnEtAl16,
  author      = "Florian Frohn and Matthias Naaf and Jera Hensel and Marc Brockschmidt and J\"urgen Giesl",
  title       = "Lower Runtime Bounds for Integer Programs",
  institution = "RWTH Aachen",
  keywords    = "automated complexity analysis, runtime complexity, integer programs, lower bounds, vulnerability detection",
  year        = "2016",
  number      = "AIB-2016-03",
  month       = "April",
  url         = "http://aib.informatik.rwth-aachen.de/2016/2016-03.pdf"
}