Ivan Mikhailin

According to our database, Ivan Mikhailin authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

Complexity of Linear Operators.

Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii

Proceedings of the 30th International Symposium on Algorithms and Computation, 2019

2018

Beating Brute Force for (Quantified) Satisfiability of Circuits of Bounded Treewidth.

Daniel Lokshtanov, Ivan Mikhailin, Ramamohan Paturi, Pavel Pudlák

Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018