Algorithm 1: Pseudo-code for the solve function of a synthetic problem solver.

It implements the problem solver interface (see Equation 1).The pseudo-code assumes that problem and state features, i.e., elements from and , can be collected in sets. The dot-notation, as in (line 9), refers to certain sub-elements of a tuple, in this case the feature history , which is part of the state component (see Equation 5).