Formal definition with variable strings as experiment parametrizations.
+ strategies (optimal, greedy)