Об экономном умножении булевых уравнений

Рассматривается задача построения решений систем булевых уравнений, когда булевы функции непредставимы линейными формами от своих аргументов. Предлагается подход, позволяющий делать экономные умножения в процессе решения системы. Задача сводится к оптимизационной задаче о назначениях, которая затем решается с помощью метода синтеза паросочетания максимального веса для полного неориентированного графа.