%0 Conference Paper %1 conf/date/AmaruVLO17 %A Amarù, Luca Gaetano %A Vuillod, Patrick %A Luo, Jiong %A Olson, Janet %B DATE %D 2017 %E Atienza, David %E Natale, Giorgio Di %I IEEE %K dblp %P 1303-1305 %T Logic optimization and synthesis: Trends and directions in industry. %U http://dblp.uni-trier.de/db/conf/date/date2017.html#AmaruVLO17 %@ 978-3-9815370-8-6

@inproceedings{conf/date/AmaruVLO17, added-at = {2017-08-14T00:00:00.000+0200}, author = {Amarù, Luca Gaetano and Vuillod, Patrick and Luo, Jiong and Olson, Janet}, biburl = {https://www.bibsonomy.org/bibtex/2b061c015785496816070f365f85832b0/dblp}, booktitle = {DATE}, crossref = {conf/date/2017}, editor = {Atienza, David and Natale, Giorgio Di}, ee = {http://dl.acm.org/citation.cfm?id=3130687}, interhash = {8798dc1a026ecbfff7c609699cb7c48e}, intrahash = {b061c015785496816070f365f85832b0}, isbn = {978-3-9815370-8-6}, keywords = {dblp}, pages = {1303-1305}, publisher = {IEEE}, timestamp = {2019-10-17T15:01:48.000+0200}, title = {Logic optimization and synthesis: Trends and directions in industry.}, url = {http://dblp.uni-trier.de/db/conf/date/date2017.html#AmaruVLO17}, year = 2017 }