In Search for a SAT-Friendly Binarized Neural Network Architecture

Narodytska et al. "In Search for a SAT-Friendly Binarized Neural Network Architecture." International Conference on Learning Representations, 2020.

[Narodytska et al. "In Search for a SAT-Friendly Binarized Neural Network Architecture." International Conference on Learning Representations, 2020.](https://mlanthology.org/iclr/2020/narodytska2020iclr-search/)

@inproceedings{narodytska2020iclr-search,
  title     = {{In Search for a SAT-Friendly Binarized Neural Network Architecture}},
  author    = {Narodytska, Nina and Zhang, Hongce and Gupta, Aarti and Walsh, Toby},
  booktitle = {International Conference on Learning Representations},
  year      = {2020},
  url       = {https://mlanthology.org/iclr/2020/narodytska2020iclr-search/}
}