Оптимизация решения задачи выполнимости булевых формул методами машинного обучениятезисы доклада

Работа с тезисами доклада


[1] Шуплецов М. С., Илларионова С. В. Оптимизация решения задачи выполнимости булевых формул методами машинного обучения // Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г. — СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики. — Москва: Москва, 2019. — С. 116–117.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть