Dynamic Program Search