Vector group - gromas/polysat GitHub Wiki

Групповой вектор частичных назначений переменных определяется как вектор частичных назначений, содержащий пересечение множеств переменных сочетаний группы и не противоречащий ни одному из векторов этой группы.

• Предположим, что сочетание трёх переменных из n {x1,x2,x3} содержит векторы частичных назначений 011 и 010. Групповой вектор векторов такого сочетания будет соответствовать назначению переменных сочетания {x1,x2} значению 01.