Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jar/Bryant20,
  author       = {Randal E. Bryant},
  title        = {Chain Reduction for Binary and Zero-Suppressed Decision Diagrams},
  journal      = {J. Autom. Reason.},
  volume       = {64},
  number       = {7},
  pages        = {1361--1391},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10817-020-09569-6},
  doi          = {10.1007/S10817-020-09569-6},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Bryant20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Bryant18,
  author       = {Randal E. Bryant},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Chain Reduction for Binary and Zero-Suppressed Decision Diagrams},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10805},
  pages        = {81--98},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89960-2\_5},
  doi          = {10.1007/978-3-319-89960-2\_5},
  timestamp    = {Fri, 09 Apr 2021 18:45:37 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Bryant18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1710-06500,
  author       = {Randal E. Bryant},
  title        = {Chain Reduction for Binary and Zero-Suppressed Decision Diagrams},
  journal      = {CoRR},
  volume       = {abs/1710.06500},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.06500},
  eprinttype    = {arXiv},
  eprint       = {1710.06500},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-06500.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}