@misc{indiciaedf5c4976e4d2,
  title = {Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis},
  author = {Daniil Averkov and Tatiana Belova and Gregory Emdin and Mikhail Goncharov and Viktoriia Krivogornitsyna and Alexander S. Kulikov and Fedor Kurmazov and Daniil Levtsov and Georgie Levtsov and Vsevolod Vaskin and Aleksey Vorobiev},
  year = {2024},
  url = {https://arxiv.org/abs/2412.14933},
  note = {Source identifier: 2412.14933}
}