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

  2. Two new upper bounds for SAT

    Hirsch, E. A., 1 дек 1998, стр. 521-530. 10 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  3. Local search algorithms for SAT: Worst-case analysis

    Hirsch, E. A., 1 янв 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (ред.). Springer Nature, стр. 246-254 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1432).

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

  4. 1997

  5. On construction of a symbolic realization of hyperbolic automorphisms of the torus

    Hirsch, E. A., 1 янв 1997, в: Journal of Mathematical Sciences . 87, 6, стр. 4065-4066 2 стр.

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

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

ID: 9072111