Abschlussvortrag der Masterarbeit
"Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform"
18.10. 13:30 - Masterarbeitsvortrag "Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform"
Uwe Baier Universität Ulm
Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform.