Standard
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.
In:
Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39, No. 11, 2025, p. 11105-11112.
Research output: Contribution to journal › Conference article › peer-review
Harvard
Averkov, D, Belova, T, Emdin, G, Goncharov, M, Krivogornitsyna, V
, Kulikov, AS, Kurmazov, F, Levtsov, D, Levtsov, G
, Vaskin, V & Vorobiev, A 2025, '
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis',
Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 11, pp. 11105-11112.
https://doi.org/10.1609/aaai.v39i11.33207
APA
Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V.
, Kulikov, A. S., Kurmazov, F., Levtsov, D., Levtsov, G.
, Vaskin, V., & Vorobiev, A. (2025).
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis.
Proceedings of the AAAI Conference on Artificial Intelligence,
39(11), 11105-11112.
https://doi.org/10.1609/aaai.v39i11.33207
Vancouver
Author
Averkov, D. ; Belova, T. ; Emdin, G. ; Goncharov, M. ; Krivogornitsyna, V.
; Kulikov, A.S. ; Kurmazov, F. ; Levtsov, D. ; Levtsov, G.
; Vaskin, V. ; Vorobiev, A. /
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis. In:
Proceedings of the AAAI Conference on Artificial Intelligence. 2025 ; Vol. 39, No. 11. pp. 11105-11112.
BibTeX
@article{1650c70826614c93a00ce429b6b3a7f0,
title = "Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis",
author = "D. Averkov and T. Belova and G. Emdin and M. Goncharov and V. Krivogornitsyna and A.S. Kulikov and F. Kurmazov and D. Levtsov and G. Levtsov and V. Vaskin and A. Vorobiev",
note = "Export Date: 26 January 2026; Cited By: 1; Conference name: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025; Conference location: Philadelphia; Conference date: 2025-02-25 through 2025-03-04; Conference sponsors: Association for the Advancement of Artificial Intelligence; The 39th Annual AAAI Conference on Artificial Intelligence, AAAI-25 ; Conference date: 25-02-2025 Through 04-03-2025",
year = "2025",
doi = "10.1609/aaai.v39i11.33207",
language = "English",
volume = "39",
pages = "11105--11112",
journal = "Proceedings of the AAAI Conference on Artificial Intelligence",
issn = "2159-5399",
publisher = "Association for the Advancement of Artificial Intelligence",
number = "11",
}
RIS
TY - JOUR
T1 - Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
AU - Averkov, D.
AU - Belova, T.
AU - Emdin, G.
AU - Goncharov, M.
AU - Krivogornitsyna, V.
AU - Kulikov, A.S.
AU - Kurmazov, F.
AU - Levtsov, D.
AU - Levtsov, G.
AU - Vaskin, V.
AU - Vorobiev, A.
N1 - Export Date: 26 January 2026; Cited By: 1; Conference name: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025; Conference location: Philadelphia; Conference date: 2025-02-25 through 2025-03-04; Conference sponsors: Association for the Advancement of Artificial Intelligence
PY - 2025
Y1 - 2025
U2 - 10.1609/aaai.v39i11.33207
DO - 10.1609/aaai.v39i11.33207
M3 - Conference article
VL - 39
SP - 11105
EP - 11112
JO - Proceedings of the AAAI Conference on Artificial Intelligence
JF - Proceedings of the AAAI Conference on Artificial Intelligence
SN - 2159-5399
IS - 11
T2 - The 39th Annual AAAI Conference on Artificial Intelligence
Y2 - 25 February 2025 through 4 March 2025
ER -
