@inproceedings{HomeisterWaack2005, author = {Homeister, Matthias and Waack, Stephan}, title = {Quantum Ordered Binary Decision Diagrams with Repeated Tests}, series = {7th International Symposium on Representations and Methodology of Future Computing Technologies, 5 September, 2005, University of Tokyo}, booktitle = {7th International Symposium on Representations and Methodology of Future Computing Technologies, 5 September, 2005, University of Tokyo}, year = {2005}, language = {en} } @inproceedings{BrosenneDammHomeister2005, author = {Brosenne, H. and Damm, C. and Homeister, Matthias}, title = {On Approximation Properties of Parity-OBDDs}, series = {Proceedings of RM2005}, booktitle = {Proceedings of RM2005}, year = {2005}, language = {en} }