@misc{indiciae7fd72af6325b,
  title = {Global Optimization of Objective Functions Represented by ReLU Networks},
  author = {Christopher A. Strong and Haoze Wu and Aleksandar Zeljić and Kyle D. Julian and Guy Katz and Clark Barrett and Mykel J. Kochenderfer},
  year = {2021},
  url = {https://arxiv.org/abs/2010.03258},
  note = {Source identifier: 2010.03258}
}