Searching in bdd