Keyword : zero-suppressed%20binary%20decision%20diagrams%20%28BDD%29