Hindsight helps: deterministic task scheduling with backtracking | IEEE Conference Publication | IEEE Xplore