Metadata
Author: Literature
Data
German[de]
Zum Beweis von Satz 8.20 weisen wir zunachst nach, daB das Problem OPTIMAL SHARED OBDD in der Klasse NP liegt.
English[en]
For the proof of Theorem 8.20 we first prove that the problem OPTIMAL SHARED OBDD is in the class NP.