BDD Search and Bookmarks