Inproceedings,
Improved Variable Ordering for ROBDDs.
P. Prasad, M. Dominic, and A. Singh.ICADL, volume 2911 of Lecture Notes in Computer Science, page 544-547. Springer, (2003)
Meta data
- BibTeX key
- conf/icadl/PrasadDS03
- entry type
- inproceedings
- booktitle
- ICADL
- year
- 2003
- pages
- 544-547
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 2911
- crossref
- conf/icadl/2003
- ee
- https://doi.org/10.1007/978-3-540-24594-0_55
- isbn
- 3-540-20608-6
- url
- http://dblp.uni-trier.de/db/conf/icadl/icadl2003.html#PrasadDS03
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icadl/PrasadDS03
%A Prasad, P. W. Chandana
%A Dominic, M. Maria
%A Singh, Ashutosh Kumar
%B ICADL
%D 2003
%E Sembok, Tengku M. T.
%E Zaman, Halimah Badioze
%E Chen, Hsinchun
%E Urs, Shalini R.
%E Myaeng, Sung-Hyon
%I Springer
%K dblp
%P 544-547
%T Improved Variable Ordering for ROBDDs.
%U http://dblp.uni-trier.de/db/conf/icadl/icadl2003.html#PrasadDS03
%V 2911
%@ 3-540-20608-6
@inproceedings{conf/icadl/PrasadDS03,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Prasad, P. W. Chandana and Dominic, M. Maria and Singh, Ashutosh Kumar},
biburl = {https://www.bibsonomy.org/bibtex/236f75bb5d1e92b4e7a24172a5384d30c/dblp},
booktitle = {ICADL},
crossref = {conf/icadl/2003},
editor = {Sembok, Tengku M. T. and Zaman, Halimah Badioze and Chen, Hsinchun and Urs, Shalini R. and Myaeng, Sung-Hyon},
ee = {https://doi.org/10.1007/978-3-540-24594-0_55},
interhash = {2c01af9b240a29fb9ee340c15bb6dbc9},
intrahash = {36f75bb5d1e92b4e7a24172a5384d30c},
isbn = {3-540-20608-6},
keywords = {dblp},
pages = {544-547},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:44:39.000+0200},
title = {Improved Variable Ordering for ROBDDs.},
url = {http://dblp.uni-trier.de/db/conf/icadl/icadl2003.html#PrasadDS03},
volume = 2911,
year = 2003
}