@misc{indiciaea3f718537311,
  title = {Reducing Neural Network Parameter Initialization Into an SMT Problem},
  author = {Mohamad H. Danesh},
  year = {2020},
  url = {https://arxiv.org/abs/2011.01191},
  note = {Source identifier: 2011.01191}
}