%0 Conference Paper %1 conf/date/TestaASMVLCGM19 %A Testa, Eleonora %A Amarù, Luca G. %A Soeken, Mathias %A Mishchenko, Alan %A Vuillod, Patrick %A Luo, Jiong %A Casares, Christopher %A Gaillardon, Pierre-Emmanuel %A Micheli, Giovanni De %B DATE %D 2019 %E Teich, Jürgen %E Fummi, Franco %I IEEE %K dblp %P 1643-1648 %T Scalable Boolean Methods in a Modern Synthesis Flow. %U http://dblp.uni-trier.de/db/conf/date/date2019.html#TestaASMVLCGM19 %@ 978-3-9819263-2-3

@inproceedings{conf/date/TestaASMVLCGM19, added-at = {2019-07-11T00:00:00.000+0200}, author = {Testa, Eleonora and Amarù, Luca G. and Soeken, Mathias and Mishchenko, Alan and Vuillod, Patrick and Luo, Jiong and Casares, Christopher and Gaillardon, Pierre-Emmanuel and Micheli, Giovanni De}, biburl = {https://www.bibsonomy.org/bibtex/23565dda12d26af8828a76188ef12ee94/dblp}, booktitle = {DATE}, crossref = {conf/date/2019}, editor = {Teich, Jürgen and Fummi, Franco}, ee = {https://doi.org/10.23919/DATE.2019.8714776}, interhash = {d980320a8765fdf4305feee0cda605ea}, intrahash = {3565dda12d26af8828a76188ef12ee94}, isbn = {978-3-9819263-2-3}, keywords = {dblp}, pages = {1643-1648}, publisher = {IEEE}, timestamp = {2019-10-17T15:00:29.000+0200}, title = {Scalable Boolean Methods in a Modern Synthesis Flow.}, url = {http://dblp.uni-trier.de/db/conf/date/date2019.html#TestaASMVLCGM19}, year = 2019 }