Resolution and binary decision diagrams cannot simulate each other polynomially:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Groote, Jan F. (VerfasserIn), Zantema, Hans (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam Centrum voor Wiskunde en Informatica 2000
Beschreibung:12 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!