@misc{indiciae8509dd33aa8c,
  title = {On Optimizing Back-Substitution Methods for Neural Network Verification},
  author = {Tom Zelazny and Haoze Wu and Clark Barrett and Guy Katz},
  year = {2022},
  url = {https://arxiv.org/abs/2208.07669},
  note = {Source identifier: 2208.07669}
}