@misc{indiciae978d43648080,
  title = {Machines Explaining Linear Programs},
  author = {David Steinmann and Matej Zečević and Devendra Singh Dhami and Kristian Kersting},
  year = {2022},
  url = {https://arxiv.org/abs/2206.07194},
  note = {Source identifier: 2206.07194}
}