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

  2. Some reducibilities on regular sets

    Selivanov, V. L., 1 янв 2005, Some reducibilities on regular sets. Том 3526. стр. 430-439 10 стр. (Lecture Notes in Computer Science).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  3. The SAT2002 competition

    Simon, L., Le Berre, D. & Hirsch, E. A., янв 2005, в: Annals of Mathematics and Artificial Intelligence. 43, 1-4, стр. 307-342 36 стр.

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

  4. UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

    Hirsch, E. A. & Kojevnikov, A., янв 2005, в: Annals of Mathematics and Artificial Intelligence. 43, 1-4, стр. 91-111 21 стр.

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

  5. An A2-proof of structure theorems for chevalley groups of types E6 and E7

    Vavilov, N. A. & Gavrilovich, M. R., 2005, в: St. Petersburg Mathematical Journal. 16, 4, стр. 649-672 24 стр.

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

  6. Задачи Санкт-Петербургской олимпиады школьников по математике, 2005 год

    Кохась, К. П., Храбров, А. И., Берлов, С. Л., Иванов, С. В., Карпов, Д. В. & Петров, Ф. В., 2005, Невский Диалект.

    Результаты исследований: Книги, отчёты, сборники › учебное-методическое пособие › учебная

  7. 2004

  8. Absolute continuity of the spectrum of a Schrödinger operator with a potential which is periodic in some directions and decays in others

    Filonov, N. & Klopp, F., 1 дек 2004, в: Documenta Mathematica. 9, 1, стр. 107-121 15 стр.

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

  9. Algorithms for SAT based on search in hamming balls

    Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 дек 2004, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2996, стр. 141-151 11 стр.

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

  10. Automated proofs of upper bounds on the running time of splitting algorithms

    Fedin, S. S. & Kulikov, A. S., 1 дек 2004, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3162, стр. 248-259 12 стр.

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

  11. Erratum: Absolute continuity of the spectrum of a Schrödinger operator with a potential which is periodic in some directions and decays in others (Documenta Mathematica (2004) 9 (107-121))

    Filonov, N. & Klopp, F., 1 дек 2004, в: Documenta Mathematica. 9, 1, стр. 135-136 2 стр.

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

  12. 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...82 83 84 85 86 87 88 89 ...101 Далее

ID: 45528956