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]
Abstract is missing.