Efficient best-first dictionary search given graph-based input | IEEE Conference Publication | IEEE Xplore