@inproceedings{ChoiSSDvnn19,
  author    = {Arthur Choi and Weijia Shi and Andy Shih and Adnan Darwiche},
  title     = {Compiling Neural Networks into Tractable Boolean Circuits},
  booktitle = {AAAI Spring Symposium on Verification of Neural Networks (VNN)}
  month     = {march},
  year      = {2019},
  url       = "https://cs.stanford.edu/~andyshih/assets/pdf/CSSDvnn19.pdf",
  keywords  = {workshop}
}