Act, and the rest will follow: exploiting determinism in planning as satisfiability