@inproceedings{ShiShihDarwicheChoi20, author = {Weijia Shi and Andy Shih and Adnan Darwiche and Arthur Choi}, title = {On Tractable Representations of Binary Neural Networks}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR)}, year = {2020}, }