Solving awari with parallel retrograde analysis | IEEE Journals & Magazine | IEEE Xplore