BDD representation