@inproceedings{ShiSDCkr20,
  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)}
  month     = {september},
  year      = {2020},
  url       = "https://cs.stanford.edu/~andyshih/assets/pdf/SSDCkr20.pdf",
  keywords  = {conference}
}