@article{HornikSW89,
  author    = {Kurt Hornik and Maxwell B. Stinchcombe and Halbert White},
  title     = {Multilayer feedforward networks are universal approximators},
  journal   = {Neural Networks},
  volume    = {2},
  number    = {5},
  pages     = {359--366},
  year      = {1989},
}

@article{Cybenko89,
  author    = {George Cybenko},
  title     = {Approximation by superpositions of a sigmoidal function},
  journal   = {Mathematics of Control, Signals, and Systems},
  volume    = {2},
  number    = {4},
  pages     = {303--314},
  year      = {1989},
}

@article{Hornik91,
  author    = {Kurt Hornik},
  title     = {Approximation capabilities of multilayer feedforward networks},
  journal   = {Neural Networks},
  volume    = {4},
  number    = {2},
  pages     = {251--257},
  year      = {1991},
}

@inproceedings{NarodytskaKRSW18,
  author    = {Nina Narodytska and Shiva Prasad Kasiviswanathan and Leonid Ryzhyk and Mooly Sagiv and Toby Walsh},
  title     = {Verifying Properties of Binarized Deep Neural Networks},
  booktitle = {AAAI},
  year      = {2018},
}

@inproceedings{HubaraCSEB16,
  author    = {Itay Hubara and
               Matthieu Courbariaux and
               Daniel Soudry and
               Ran El{-}Yaniv and
               Yoshua Bengio},
  title     = {Binarized Neural Networks},
  booktitle = {Advances in Neural Information Processing Systems 29 (NIPS)},
  pages     = {4107--4115},
  year      = {2016},
}

@inproceedings{RastegariORF16,
  author    = {Mohammad Rastegari and
               Vicente Ordonez and
               Joseph Redmon and
               Ali Farhadi},
  title     = {{XNOR-Net}: ImageNet Classification Using Binary Convolutional Neural Networks},
  booktitle = {ECCV},
  pages     = {525--542},
  year      = {2016},
}

@inproceedings{McDanelTK17,
  author    = {Bradley McDanel and
               Surat Teerapittayanon and
               H. T. Kung},
  title     = {Embedded Binarized Neural Networks},
  booktitle = {Proceedings of the 2017 International Conference on Embedded Wireless
               Systems and Networks (EWSN)},
  pages     = {168--173},
  year      = {2017},
}

@article{Kung2017,
author="Kung, Jaeha and Zhang, David and van der Wal, Gooitzen and Chai, Sek and Mukhopadhyay, Saibal",
title="Efficient Object Detection Using Embedded Binarized Neural Networks",
journal="Journal of Signal Processing Systems",
year="2017",
month="Jun",
day="08",
}

@book{parberry1994circuit,
  title={Circuit complexity and neural networks},
  author={Parberry, Ian},
  year={1994},
  publisher={MIT press}
}

@article{LeshnoLPS93,
  author    = {Moshe Leshno and Vladimir Ya. Lin and Allan Pinkus and Shimon Schocken},
  title     = {Multilayer feedforward networks with a nonpolynomial activation function can approximate any function},
  journal   = {Neural Networks},
  volume    = {6},
  number    = {6},
  pages     = {861--867},
  year      = {1993},
}


inproceedings{ChoiDarwiche17,
author = {Arthur Choi and Adnan Darwiche},
title = {On Relaxing Determinism in Arithmetic Circuits},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Machine Learning (ICML)},
year = {2017},
pages = {825-833},
}

inproceedings{darwicheKR02,
    author = "Adnan Darwiche",
    title = "A Logical Approach to Factoring Belief Networks",
    booktitle = "Proceedings of KR",
    pages = "409--420",
    year = "2002"
}

article{Darwiche03,
  author    = {Adnan Darwiche},
  title     = {A differential approach to inference in {B}ayesian networks},
  journal   = {J. {ACM}},
  volume    = {50},
  number    = {3},
  pages     = {280--305},
  year      = {2003},
}

@Article{darwicheJAIR02,
author = "Adnan Darwiche and Pierre Marquis",
title = "A knowledge compilation map",
journal = "JAIR",
volume = "17",
pages = "229--264",
year = "2002"
}
