Shinichi Shimozono;Kouichi Hirata;Ayumi Shinohara
-;-;-
Finding small OBDDs for incompletely specified truth tables is hard
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics