%0 Conference Paper %1 conf/dac/MishchenkoBPSAD18 %A Mishchenko, Alan %A Brayton, Robert K. %A Petkovska, Ana %A Soeken, Mathias %A Amarù, Luca G. %A Domic, Antun %B DAC %D 2018 %I ACM %K dblp %P 52:1-52:6 %T Canonical computation without canonical representation. %U http://dblp.uni-trier.de/db/conf/dac/dac2018.html#MishchenkoBPSAD18 %@ 978-1-5386-4114-9

@inproceedings{conf/dac/MishchenkoBPSAD18, added-at = {2019-07-11T00:00:00.000+0200}, author = {Mishchenko, Alan and Brayton, Robert K. and Petkovska, Ana and Soeken, Mathias and Amarù, Luca G. and Domic, Antun}, biburl = {https://www.bibsonomy.org/bibtex/2bc9869fdad503447ea3f6679334f3b68/dblp}, booktitle = {DAC}, crossref = {conf/dac/2018}, ee = {https://doi.org/10.1109/DAC.2018.8465857}, interhash = {4ce9ccf72eef489a90c93a82854f552f}, intrahash = {bc9869fdad503447ea3f6679334f3b68}, isbn = {978-1-5386-4114-9}, keywords = {dblp}, pages = {52:1-52:6}, publisher = {ACM}, timestamp = {2019-07-12T11:43:14.000+0200}, title = {Canonical computation without canonical representation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2018.html#MishchenkoBPSAD18}, year = 2018 }