Learning BDD