BibTeX record conf/dac/CiardoMDB24

• > Home > conf/dac/CiardoMDB24

@inproceedings{DBLP:conf/dac/CiardoMDB24,
  author       = {Gianfranco Ciardo and
                  Andrew S. Miner and
                  Lichuan Deng and
                  Junaid Babar},
  title        = {RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams},
  booktitle    = {Proceedings of the 61st {ACM/IEEE} Design Automation Conference, {DAC}
                  2024, San Francisco, CA, USA, June 23-27, 2024},
  pages        = {319:1--319:6},
  year         = {2024},
  crossref     = {DBLP:conf/dac/2024},
  url          = {https://doi.org/10.1145/3649329.3656533},
  doi          = {10.1145/3649329.3656533},
  timestamp    = {Sat, 30 Nov 2024 21:10:04 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CiardoMDB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dac/2024,
  editor       = {Vivek De},
  title        = {Proceedings of the 61st {ACM/IEEE} Design Automation Conference, {DAC}
                  2024, San Francisco, CA, USA, June 23-27, 2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649329},
  doi          = {10.1145/3649329},
  isbn         = {979-8-4007-0601-1},
  timestamp    = {Tue, 18 Nov 2025 20:23:27 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}