@misc{indiciaedbc3cb5010e7,
  title = {Fast OBDD Reordering using Neural Message Passing on Hypergraph},
  author = {Feifan Xu and Fei He and Enze Xie and Liang Li},
  year = {2018},
  url = {https://arxiv.org/abs/1811.02178},
  note = {Source identifier: 1811.02178}
}