@misc{indiciae82dfa8b686b2,
  title = {Simulation-Guided Boolean Resubstitution},
  author = {Siang-Yun Lee and Heinz Riener and Alan Mishchenko and Robert K. Brayton and Giovanni De Micheli},
  year = {2020},
  url = {https://arxiv.org/abs/2007.02579},
  note = {Source identifier: 2007.02579}
}