%0 Conference Paper %1 conf/date/AmaruSVLMOBM18 %A Amarù, Luca Gaetano %A Soeken, Mathias %A Vuillod, Patrick %A Luo, Jiong %A Mishchenko, Alan %A Olson, Janet %A Brayton, Robert K. %A Micheli, Giovanni De %B DATE %D 2018 %E Madsen, Jan %E Coskun, Ayse K. %I IEEE %K dblp %P 755-760 %T Improvements to boolean resynthesis. %U http://dblp.uni-trier.de/db/conf/date/date2018.html#AmaruSVLMOBM18 %@ 978-3-9819263-0-9

@inproceedings{conf/date/AmaruSVLMOBM18, added-at = {2018-04-24T00:00:00.000+0200}, author = {Amarù, Luca Gaetano and Soeken, Mathias and Vuillod, Patrick and Luo, Jiong and Mishchenko, Alan and Olson, Janet and Brayton, Robert K. and Micheli, Giovanni De}, biburl = {https://www.bibsonomy.org/bibtex/2a8621b84a8aaae660db9991d1f93426f/dblp}, booktitle = {DATE}, crossref = {conf/date/2018}, editor = {Madsen, Jan and Coskun, Ayse K.}, ee = {https://doi.org/10.23919/DATE.2018.8342108}, interhash = {7305e82476724ccca94732b615734e2a}, intrahash = {a8621b84a8aaae660db9991d1f93426f}, isbn = {978-3-9819263-0-9}, keywords = {dblp}, pages = {755-760}, publisher = {IEEE}, timestamp = {2024-10-07T08:13:21.000+0200}, title = {Improvements to boolean resynthesis.}, url = {http://dblp.uni-trier.de/db/conf/date/date2018.html#AmaruSVLMOBM18}, year = 2018 }