Ivan Monakhov

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Optimal Planning

Space Complexity

Top Venues

Theory Comput. Syst.

Publications

Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal
On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography. Theory Comput. Syst. 51 (2) (2012)
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography. Electron. Colloquium Comput. Complex. 17 (2010)