Schnellere SAT-Lösung für Software mit wiederholten Strukturen (mit Fallstudien zur Minimierung von Softwaretestsuiten)