Heuristically guided constraint satisfaction for AI planning. - Mark Judge (2015)