31 - 33 из 33Размер страницы: 10
Сортировать по:: Год публикации
  1. 2007

  2. Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

    Itsykson, D. M. & Kojevnikov, A. A., 1 сен 2007, в: Journal of Mathematical Sciences . 145, 3, стр. 4942-4952 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. 2005

  4. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

    Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 окт 2005, в: Journal of Automated Reasoning. 35, 1-3, стр. 51-72 22 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. 2004

  6. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

    Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 дек 2004, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3142, стр. 84-96 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1 2 3 4 Далее

ID: 35825084