Ein Näherungsverfahren zur Optimierung von Systemen partieller Boolescher Funktionen.