Time To find the shortest plan, look for a plan at timestep 1, then 2,etc c.222003 16.410/13, Programming SATPlan, Greg SullivanTime • To find the shortest plan, look for a plan at timestep 1, then 2, etc. Oct. 22, 2003 16.410/13, Programming SATPlan, Greg Sullivan 6