backward plan graph to avoid computing multiple graphs for progression

To: cse574-f04
Subject: backward plan graph to avoid computing multiple graphs for progression
From: Subbarao kambhampati <rao@asu.edu>
Date: Mon, 20 Sep 2004 23:06:19 -0700

====the idea of mutexes do not generalize to bpg though