An infinitely-often one-way function based on an average-case assumption von Hirsch, E. A., Itsykson, D. M.

Volltext

The complexity of inverting explicit Goldreich’s function by DPLL algorithms von Itsykson, D. M., Sokolov, D. O.

Volltext

Optimal heuristic algorithms for the image of an injective function von Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O., Smal, A. V.

Volltext

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies von Itsykson, D. M., Kojevnikov, A. A.

Volltext

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas von Alekhnovich, Michael, Hirsch, Edward A., Itsykson, Dmitry

Volltext