Reduktionen

Reduktionsarten 
Stubborn-Set-Methode 
Symmetrie 
Netzreduktion 
Netzreduktion: Regeln