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