Resolution and binary decision diagrams cannot simulate each other polynomially

Bibliographische Detailangaben

Hauptverfasser:	Groote, Jan F. (VerfasserIn), Zantema, Hans (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 2000
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!