%0 Conference Paper %1 conf/date/SchollMHM97 %A Scholl, Christoph %A Melchior, S. %A Hotz, Günter %A Molitor, Paul %B ED&TC %D 1997 %I IEEE Computer Society %K dblp %P 229-234 %T Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. %U http://dblp.uni-trier.de/db/conf/date/edtc1997.html#SchollMHM97 %@ 0-8186-7786-4

@inproceedings{conf/date/SchollMHM97, added-at = {2022-08-03T00:00:00.000+0200}, author = {Scholl, Christoph and Melchior, S. and Hotz, Günter and Molitor, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2ccc79a80440dd8624a27fda48c82d79e/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1997}, ee = {https://dl.acm.org/doi/10.5555/787260.787669}, interhash = {816d81b2b5e208706d4be01f2ac0525e}, intrahash = {ccc79a80440dd8624a27fda48c82d79e}, isbn = {0-8186-7786-4}, keywords = {dblp}, pages = {229-234}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:28.000+0200}, title = {Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1997.html#SchollMHM97}, year = 1997 }