Danila Pechenev

According to our database, Danila Pechenev authored at least 1 paper in 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