@misc{indiciae9acfd4712f71,
  title = {Improving Automatic Complexity Analysis of Integer Programs},
  author = {Jürgen Giesl and Nils Lommen and Marcel Hark and Fabian Meyer},
  year = {2022},
  url = {https://arxiv.org/abs/2202.01769},
  note = {Source identifier: 2202.01769}
}