Витраж - это сложная конструкция из стекла, металла, дерева, объединенная между собой в сложные живые картины объединяющие в себе многообразие и изысканность блеска стекла, яркость света. Витражи имеют огромное количество видов.

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