%0 Conference Paper %1 conf/fmcad/NiemetzPB14 %A Niemetz, Aina %A Preiner, Mathias %A Biere, Armin %B FMCAD %D 2014 %I IEEE %K dblp %P 179-186 %T Turbo-charging Lemmas on demand with don't care reasoning. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#NiemetzPB14 %@ 978-0-9835678-4-4

@inproceedings{conf/fmcad/NiemetzPB14, added-at = {2019-09-16T00:00:00.000+0200}, author = {Niemetz, Aina and Preiner, Mathias and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2696ed7262ca867f6ffa721736ca76f63/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2014}, ee = {https://doi.org/10.1109/FMCAD.2014.6987611}, interhash = {46a0ad9ade5c4c68fae0c9f02c6c5488}, intrahash = {696ed7262ca867f6ffa721736ca76f63}, isbn = {978-0-9835678-4-4}, keywords = {dblp}, pages = {179-186}, publisher = {IEEE}, timestamp = {2019-09-17T12:59:12.000+0200}, title = {Turbo-charging Lemmas on demand with don't care reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#NiemetzPB14}, year = 2014 }