In Search for a SAT-friendly Binarized Neural Network Architecture

Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh. In Search for a SAT-friendly Binarized Neural Network Architecture. In 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020. OpenReview.net, 2020. [doi]

@inproceedings{NarodytskaZGW20,
  title = {In Search for a SAT-friendly Binarized Neural Network Architecture},
  author = {Nina Narodytska and Hongce Zhang and Aarti Gupta and Toby Walsh},
  year = {2020},
  url = {https://openreview.net/forum?id=SJx-j64FDr},
  researchr = {https://researchr.org/publication/NarodytskaZGW20},
  cites = {0},
  citedby = {0},
  booktitle = {8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020},
  publisher = {OpenReview.net},
}