@misc{indiciae660a0e54d9b2,
  title = {A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits},
  author = {Matthew Amy and Dmitri Maslov and Michele Mosca and Martin Roetteler},
  year = {2013},
  doi = {10.1109/tcad.2013.2244643},
  url = {https://arxiv.org/abs/1206.0758},
  note = {Source identifier: 1206.0758}
}