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