%0 Conference Paper %1 conf/dac/BernMS95 %A Bern, Jochen %A Meinel, Christoph %A Slobodová, Anna %B DAC %D 1995 %E Preas, Bryan %I ACM Press %K dblp %P 408-413 %T Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. %U http://dblp.uni-trier.de/db/conf/dac/dac95.html#BernMS95 %@ 0-89791-725-1

@inproceedings{conf/dac/BernMS95, added-at = {2017-03-16T00:00:00.000+0100}, author = {Bern, Jochen and Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/2c9b28582fc9353cff61bbe74fe851e2f/dblp}, booktitle = {DAC}, crossref = {conf/dac/1995}, editor = {Preas, Bryan}, ee = {http://doi.acm.org/10.1145/217474.217563}, interhash = {99a6bf30b7aad05db6c541deeae8e676}, intrahash = {c9b28582fc9353cff61bbe74fe851e2f}, isbn = {0-89791-725-1}, keywords = {dblp}, pages = {408-413}, publisher = {ACM Press}, timestamp = {2017-03-17T11:39:46.000+0100}, title = {Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac95.html#BernMS95}, year = 1995 }