학술논문
Optimizing OBDDs is still intractable for monotone functions
Document Type
Conference Paper
Author
Source
In: Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1998, 1450 LNCS:625-635)
Subject
Language
English
ISSN
16113349
03029743
03029743