שליחה במסרון: Binary decision diagrams :