Bei einer Instanz von SAT möchte ich abschätzen können, wie schwierig es sein wird, die Instanz zu lösen. Eine Möglichkeit besteht darin, vorhandene Löser auszuführen, aber diese Art von Funktion verhindert das Abschätzen der Schwierigkeit. Ein zweiter Weg könnte darin bestehen, das Verhältnis von...