Search results for diagram binary decision diagrams