(КПІ ім. Ігоря Сікорського, 2024) Бичок, В. В.; Васалатій, А.; Циганкова, О. В.; Хмельницький, М. О.
В даній роботі розглядаються можливості використання SAT-розв’язувачів для розробки алгоритмів розбиття множини на підмножини, в яких відсутні 𝑛-ки Шура. SAT-розв’язувачі відомі своєю здатністю швидко знаходити рішення булевих задач, але їх потенціал у сфері розбиття множини на підмножини ще не був повністю досліджений. Основна ідея полягає в тому, щоб перетворити задачу розбиття множини на підмножини у задачу задоволення булевої формули, де кожна змінна відповідає присутності або відсутності кожного елемента у підмножині.