Мир современного человека все чаще касается робототехники в различных ее проявлениях, будь то промышленность или повседневная жизнь. В последнее время особо популярной является такое ее направление, как мобильная робототехника. Ее можно разделить на две группы.

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