Keyword : ternary%20decision%20diagram