The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dmitry Itsykson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
    Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:84-96 [Conf]
  2. Arist Kojevnikov, Dmitry Itsykson
    Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies. [Citation Graph (0, 0)][DBLP]
    ICALP (1), 2006, pp:323-334 [Conf]
  3. Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
    Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:041, pp:- [Journal]
  4. Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
    Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:51-72 [Journal]

  5. Structural Complexity of AvgBPP. [Citation Graph (, )][DBLP]


  6. Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms. [Citation Graph (, )][DBLP]


  7. On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity. [Citation Graph (, )][DBLP]


  8. An Infinitely-Often One-Way Function Based on an Average-Case Assumption. [Citation Graph (, )][DBLP]


  9. On optimal heuristic randomized semidecision procedures, with application to proof complexity [Citation Graph (, )][DBLP]


  10. Structural complexity of AvgBPP. [Citation Graph (, )][DBLP]


  11. An infinitely-often one-way function based on an average-case assumption. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002