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

  2. Exponential lower bound for static semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 дек 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. стр. 257-268 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2380 LNCS).

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

  3. A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search

    Dantsin, E., Goerdt, A., Hirsch, E. A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P. & Schöning, U., 23 окт 2002, в: Theoretical Computer Science. 289, 1, стр. 69-83 15 стр.

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

  4. Complexity of semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 янв 2002, STACS 2002 - 19th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Alt, H. (ред.). Springer Nature, стр. 419-430 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2285).

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

  5. 2001

  6. MAX SAT approximation beyond the limits of polynomial-time approximation

    Dantsin, E., Gavrilovich, M., Hirsch, E. A. & Konev, B., 27 дек 2001, в: Annals of Pure and Applied Logic. 113, 1-3, стр. 81-94 14 стр.

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

  7. Solving Boolean satisfiability using local search guided by unit clause elimination

    Hirsch, E. A. & Kojevnikov, A., 1 янв 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ред.). Springer Nature, стр. 605-609 5 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2239).

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

  8. 2000

  9. SAT local search algorithms: worst-case study

    Hirsch, E. A., 1 фев 2000, в: Journal of Automated Reasoning. 24, 1-2, стр. 127-143 17 стр.

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

  10. A new algorithm for MAX-2-SAT

    Hirsch, E. A., 1 янв 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (ред.). Springer Nature, стр. 65-73 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1770).

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

  11. Deterministic algorithms for k-SAT based on covering codes and local search

    Dantsin, E., Goerdt, A., Hirsch, E. A. & Schöning, U., 1 янв 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (ред.). Springer Nature, стр. 236-247 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1853).

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

  12. New worst-case upper bounds for SAT

    Hirsch, E. A., 1 янв 2000, в: Journal of Automated Reasoning. 24, 4, стр. 397-420 24 стр.

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

  13. Separating signs in the propositional satisfiability problem

    Hirsch, E. A., 1 янв 2000, в: Journal of Mathematical Sciences . 98, 4, стр. 442-463 22 стр.

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

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

ID: 9072111