Ivan Mikhailin

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Complexity of Linear Operators.
Electron. Colloquium Comput. Complex., 2019

2018
Beating Brute Force for (Quantified) Satisfiability of Circuits of Bounded Treewidth.
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018


  Loading...