%0 Conference Paper %1 conf/fmcad/DijkWM17 %A van Dijk, Tom %A Wille, Robert %A Meolic, Robert %B FMCAD %D 2017 %E Stewart, Daryl %E Weissenbacher, Georg %I IEEE %K dblp %P 108-115 %T Tagged BDDs: Combining reduction rules from different decision diagram types. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#DijkWM17 %@ 978-0-9835678-7-5

@inproceedings{conf/fmcad/DijkWM17, added-at = {2018-11-02T00:00:00.000+0100}, author = {van Dijk, Tom and Wille, Robert and Meolic, Robert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25dc4a4d1807ef59d6a6bdce8f00d532e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2017}, editor = {Stewart, Daryl and Weissenbacher, Georg}, ee = {https://doi.org/10.23919/FMCAD.2017.8102248}, interhash = {ae49e69953b1b80060d1292bd656cc63}, intrahash = {5dc4a4d1807ef59d6a6bdce8f00d532e}, isbn = {978-0-9835678-7-5}, keywords = {dblp}, pages = {108-115}, publisher = {IEEE}, timestamp = {2019-09-27T20:19:37.000+0200}, title = {Tagged BDDs: Combining reduction rules from different decision diagram types.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#DijkWM17}, year = 2017 }