%0 Journal Article %1 journals/corr/abs-1802-08795 %A Korneev, Svyatoslav %A Narodytska, Nina %A Pulina, Luca %A Tacchella, Armando %A Bjørner, Nikolaj %A Sagiv, Mooly %D 2018 %J CoRR %K %T Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. %U http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-08795 %V abs/1802.08795

@article{journals/corr/abs-1802-08795, added-at = {2023-12-14T15:20:33.000+0100}, author = {Korneev, Svyatoslav and Narodytska, Nina and Pulina, Luca and Tacchella, Armando and Bjørner, Nikolaj and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/222d7bd0af7c05b31610bd11b9580f935/admin}, ee = {http://arxiv.org/abs/1802.08795}, interhash = {e9f96eaba1dbef6f63ccde1c52db1f84}, intrahash = {22d7bd0af7c05b31610bd11b9580f935}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T15:20:33.000+0100}, title = {Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-08795}, volume = {abs/1802.08795}, year = 2018 }