zurück zur Startseite
 
 
Verfasser: Harald Sack
Titel: Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes
Fachbereich; Fach: FB IV; Informatik
Erscheinungsjahr: 2002
Umfang: 214 Seiten
 
Volltext [PDF - 2,5 MB] Zusammenfassung [PDF - 36 KB] Abstract [PDF - 27 KB]
 
Abstract: