Efficient Scheduling Techniques for ROBDD Construction

Rajeev Murgai, Jawahar Jain, Masahiro Fujita. Efficient Scheduling Techniques for ROBDD Construction. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 394-401, IEEE Computer Society, 1999. [doi]

@inproceedings{MurgaiJF99,
  title = {Efficient Scheduling Techniques for ROBDD Construction},
  author = {Rajeev Murgai and Jawahar Jain and Masahiro Fujita},
  year = {1999},
  doi = {10.1109/ICVD.1999.745188},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745188},
  researchr = {https://researchr.org/publication/MurgaiJF99},
  cites = {0},
  citedby = {0},
  pages = {394-401},
  booktitle = {12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India},
  publisher = {IEEE Computer Society},
}