@misc{indiciaed12a12068667,
  title = {Exact Synthesis of Reversible Logic Circuits using Model Checking},
  author = {Rajarshi Ray and Arup Deka and Kamalika Datta},
  year = {2017},
  url = {https://arxiv.org/abs/1702.07470},
  note = {Source identifier: 1702.07470}
}