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, в: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, стр. 11105-11112 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференцииРецензирование

ID: 84745741