@misc{indiciaef1ed5ed5bf23,
  title = {XBDD: A Highly Optimized ROBDD with Per-Edge Variable-Flip Maps},
  author = {Yinglong Gan and Jintao Yu and Shenggang Ying and Yusen Li and Xin Hong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.36778},
  note = {Source identifier: 2609.36778}
}