В современном информационно-образовательном пространстве все больше учебных заведений внедряют электронное обучение на платформе Moodle. Особенности платформы Moodle делают ее привлекательной для использования в учебных заведениях.

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