1. 2025
  2. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

    Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A. S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. & Vorobiev, A., 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, p. 11105-11112 8 p.

    Research output: Contribution to journalConference articlepeer-review

ID: 84745741