61869

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Вычислительный эксперимент по оценке алгоритмической сложности анализа выполнимости/невыполнимости 3-КНФ булевых формул

Электронная публикация: 

Да

Наименование конференции: 

  • XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : 17-20 июня 2019 г., Москва

Наименование источника: 

  • XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : ТРУДЫ. 17-20 июня 2019 г., Москва

Город: 

  • Москва

Издательство: 

  • Москва - ИПУ РАН

Год издания: 

2019

Страницы: 

2456-2460

Библиографическая ссылка: 

Уваров С.И. Вычислительный эксперимент по оценке алгоритмической сложности анализа выполнимости/невыполнимости 3-КНФ булевых формул / XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : ТРУДЫ. 17-20 июня 2019 г., Москва. М.: Москва - ИПУ РАН, 2019. С. 2456-2460.