Methode zur Bestimmung von Mehrfach-Primkonjunktionen bei der Optimierung von Systemen partieller Boolescher Funktionen.