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

  2. On convex complexity measures

    Hrubeš, P., Jukna, S., Kulikov, A. & Pudlák, P., 28 мар 2010, в: Theoretical Computer Science. 411, 16-18, стр. 1842-1854 13 стр.

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

  3. New upper bounds on the Boolean circuit complexity of symmetric functions

    Demenkov, E., Kojevnikov, A., Kulikov, A. & Yaroslavtsev, G., 1 мар 2010, в: Information Processing Letters. 110, 7, стр. 264-267 4 стр.

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

  4. 2009

  5. Finding efficient circuits using SAT-solvers

    Kojevnikov, A., Kulikov, A. S. & Yaroslavtsev, G., 9 ноя 2009, Theory and Applications of Satisfiability Testing - SAT 2009 - 12th International Conference, SAT 2009, Proceedings. стр. 32-44 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5584 LNCS).

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

  6. On covering graphs by complete bipartite subgraphs

    Jukna, S. & Kulikov, A. S., 28 мая 2009, в: Discrete Mathematics. 309, 10, стр. 3399-3403 5 стр.

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

  7. New upper bounds for the problem of maximal satisfiability

    Kulikov, A. S. & Kutskov, K., 1 мая 2009, в: Discrete Mathematics and Applications. 19, 2, стр. 155-172 18 стр.

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

  8. 2007

  9. New bounds for MAX-SAT by glause learning

    Kulikov, A. S. & Kutzkov, K., 24 дек 2007, Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings. стр. 194-204 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4649 LNCS).

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

  10. 2006

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

    Fedin, S. S. & Kulikov, A. S., 1 мая 2006, в: Journal of Mathematical Sciences . 134, 5, стр. 2383-2391 9 стр.

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

  12. A new approach to proving upper bounds for MAX-2-SAT

    Kojevnikov, A. & Kulikov, A. S., 28 фев 2006, стр. 11-17. 7 стр.

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

  13. Complexity of semialgebraic proofs with restricted degree of falsity

    Kojevnikov, A. & Kulikov, A. S., 1 янв 2006, Theory and Applications of Satisfiability Testing, SAT 2006 - 9th International Conference, Proceedings. Springer Nature, стр. 11-21 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4121 LNCS).

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

  14. 2005

  15. On some problems of computational geometry: Isogeometric smoothing and geometric search

    Kulikov, A., 1 дек 2005.

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

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

ID: 9512817