#logic optimization #BDD Framework #decision process #boolean algebra #computer science #formal verification