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

  2. Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms

    Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 янв 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. Springer Nature, стр. 60-68 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3998 LNCS).

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

  3. 2005

  4. Simulating Cutting Plane proofs with restricted degree of falsity by resolution

    Hirsch, E. A. & Nikolenko, S. I., 17 окт 2005, в: Lecture Notes in Computer Science. 3569, стр. 135-142 8 стр.

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

  5. 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 стр.

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

  6. The SAT2002 competition

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

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

  7. 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 стр.

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

  8. 2004

  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. 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 стр.

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

  11. 2003

  12. Worst-case study of local search for MAX-k-SAT

    Hirsch, E. A., 15 авг 2003, в: Discrete Applied Mathematics. 130, 2, стр. 173-184 12 стр.

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

  13. Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT

    Gramm, J., Hirsch, E. A., Niedermeier, R. & Rossmanith, P., 15 авг 2003, в: Discrete Applied Mathematics. 130, 2, стр. 139-155 17 стр.

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

  14. Algebraic proof systems over formulas

    Grigoriev, D. & Hirsch, E. A., 28 июн 2003, в: Theoretical Computer Science. 303, 1, стр. 83-102 20 стр.

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

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

ID: 9072111