Актуальность темы исследования. Проблема выполнимости в таких формах, как задача максимальной выполнимости (MAX-SAT), остается сложной задачей. Наиболее успешные подходы к решению таких задач используют форму систематического поиска по дереву. В данной работе описывается использование гибридного алгоритма, который сочетает генетический алгоритм и метод ветвей и границ целочисленного программирования для задач MAX-SAT. Такие задачи формулируются как задачи целочисленного программирования и решаются с помощью гибридного алгоритма, реализованного в рамках стандартного математического программирования. MAX-SAT находит применение в различных областях, таких как искусственный интеллект, оптимизация, логическое программирование, автоматическое доказательство теорем и верификация программного обеспечения. Это делает задачу важной для разработки эффективных алгоритмов и методов решения.