Binary decision diagram - Search