For citations:

Prihozhy A.A. Synthesis of parallel adders from if-decision diagrams. «System analysis and applied information science». 2020;(2):61-70. https://doi.org/10.21122/2309-4923-2020-2-61-70