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 Thirty-Ninth AAAI Conference on Artificial Intelligence, 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