Nikita Slezkin

According to our database, Nikita Slezkin authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

SAT-Based Circuit Local Improvement.

Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 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

2021

SAT-based Circuit Local Improvement.

Alexander S. Kulikov, Nikita Slezkin

Electron. Colloquium Comput. Complex., 2021