FYI - the link to the additional solutions is not working... On Mon, Oct 20, 2008 at 2:45 PM, Subbarao Kambhampati <rao@asu.edu> wrote: