APA (7th ed.) Citation

Averkov, D., Emdin, G., Krivogornitsyna, V., Kulikov, A. S., Kurmazov, F., Smal, A., & Vaskin, V. (2025). Simplifier: A New Tool for Boolean Circuit Simplification.

Chicago Style (17th ed.) Citation

Averkov, Daniil, Gregory Emdin, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Alexander Smal, and Vsevolod Vaskin. Simplifier: A New Tool for Boolean Circuit Simplification. 2025.

MLA (9th ed.) Citation

Averkov, Daniil, et al. Simplifier: A New Tool for Boolean Circuit Simplification. 2025.