Gregory Emdin

According to our database, Gregory Emdin authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Simplifier: A New Tool for Boolean Circuit Simplification.

Daniil Averkov, Gregory Emdin, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Alexander Smal, Vsevolod Vaskin

CoRR, March, 2025

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

Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

CNF Encodings of Symmetric Functions.

Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin

Theory Comput. Syst., October, 2024

2022

CNF Encodings of Parity.

Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022