Der Optimierer erkennt Suchbedingungen, die logisch kein Ergebnis haben können. In diesem Fall findet keine Suche statt.
Siehe auch:
Liste aller Suchstrategien