%0 Conference Paper %1 conf/aaai/NarodytskaKRSW18 %A Narodytska, Nina %A Kasiviswanathan, Shiva Prasad %A Ryzhyk, Leonid %A Sagiv, Mooly %A Walsh, Toby %B AAAI %D 2018 %E McIlraith, Sheila A. %E Weinberger, Kilian Q. %I AAAI Press %K %P 6615-6624 %T Verifying Properties of Binarized Deep Neural Networks. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#NarodytskaKRSW18

@inproceedings{conf/aaai/NarodytskaKRSW18, added-at = {2023-12-14T14:21:36.000+0100}, author = {Narodytska, Nina and Kasiviswanathan, Shiva Prasad and Ryzhyk, Leonid and Sagiv, Mooly and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2de46c820b7595c95d88bd2346d4e4566/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2018}, editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.}, ee = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16898}, interhash = {dee9fe2d15b3ad344a3dc2a522fcd53d}, intrahash = {de46c820b7595c95d88bd2346d4e4566}, keywords = {}, pages = {6615-6624}, publisher = {AAAI Press}, timestamp = {2023-12-14T14:21:36.000+0100}, title = {Verifying Properties of Binarized Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#NarodytskaKRSW18}, year = 2018 }