@misc{indiciae6f24993c0795,
  title = {A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture},
  author = {Leon Eifler and Ambros Gleixner and Jonad Pulaj},
  year = {2020},
  url = {https://arxiv.org/abs/1809.01572},
  note = {Source identifier: 1809.01572}
}