into
    a relatively good solution finder.
<p>

    The method we are using is the following:
<p>
<ul>
<li>We ultimately rely on a brute-force exploration loop, where we
      iterate over the state-space implicitely, using a monotonous
      successor function which encodes the optimization criteria we
      are interested in;</li>
</ul>
<ul>
<li>As brute-force exploration is costly, the goal is to provide the
      exploration function a state-space as small as possible. To do
      so, we use different 