In Search for a SAT-friendly Binarized Neural Network Architecture.

Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh

Browse the full ICLR paper archive.