Stage-oe-small.jpg

Misc1479

Aus Aifbportal
(Weitergeleitet von Misc1479/en)
Wechseln zu:Navigation, Suche
Property Testing und die BDD-Größe boolescher Funktionen: Nichttestbarkeitsresultate




Veröffentlichung: 2004 Dezember
Art der Veröffentlichung: Diplomarbeit, Universität Dortmund
BibTeX



Forschungsgruppe

Effiziente Algorithmen


Forschungsgebiet