Бинарные диаграммы решений: Примеры и применение