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