Задача о выполнимости булевых формул (SAT – Boolean Satisfiability problem) является важной для теории вычислительной сложности алгоритмической задачей. Эволюционные методы, предлагаемые в этой работе, позволяют строить особые декомпозиционные множества, которые позволяют достигать сверхлинейного ускорения при параллельном решении SAT-задач.
Павленко А.Л. (науч. рук. Ульянцев В.И.) Эволюционные алгоритмы построения декомпозиционных множеств для трудных вариантов задач о булевой выполнимости, позволяющих достичь сверхлинейного ускорения при решении // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4777