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

  2. Automated generation of simplification rules for SAT and MAXSAT

    Kulikov, A. S., 17 окт 2005, в: Lecture Notes in Computer Science. 3569, стр. 430-436 7 стр.

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

  3. A 2|E|/4-time algorithm for max-cut

    Kulikov, A. S. & Fedin, S. S., 1 янв 2005, в: Journal of Mathematical Sciences . 126, 3, стр. 1200-1204 5 стр.

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

  4. An upper bound O(20.16254n) for exact 3-satisfiability: A simpler proof

    Kulikov, A. S., 1 янв 2005, в: Journal of Mathematical Sciences . 126, 3, стр. 1195-1199 5 стр.

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

  5. 2004

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

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

Назад 12 3 4 5 6 Далее

ID: 9512817