@inproceedings{ChoiShiShihDarwiche19, author = {Arthur Choi and Weijia Shi and Andy Shih and Adnan Darwiche}, title = {Compiling Neural Networks into Tractable {B}oolean Circuits}, year = {2019}, booktitle= {AAAI Spring Symposium on Verification of Neural Networks (VNN)} }