%0 Conference Paper %1 conf/sat/KorneevNPTBS18 %A Korneev, Svyatoslav %A Narodytska, Nina %A Pulina, Luca %A Tacchella, Armando %A Bjørner, Nikolaj S. %A Sagiv, Mooly %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K dblp %P 438-449 %T Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html#KorneevNPTBS18 %V 10929 %@ 978-3-319-94144-8

@inproceedings{conf/sat/KorneevNPTBS18, added-at = {2022-04-14T00:00:00.000+0200}, author = {Korneev, Svyatoslav and Narodytska, Nina and Pulina, Luca and Tacchella, Armando and Bjørner, Nikolaj S. and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/22d954d0481e42e5f2a7c752f2ce068fc/dblp}, booktitle = {SAT}, crossref = {conf/sat/2018}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8_27}, interhash = {e9f96eaba1dbef6f63ccde1c52db1f84}, intrahash = {2d954d0481e42e5f2a7c752f2ce068fc}, isbn = {978-3-319-94144-8}, keywords = {dblp}, pages = {438-449}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:44.000+0200}, title = {Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html#KorneevNPTBS18}, volume = 10929, year = 2018 }