Graph driven BDDs — a new data structure for Boolean functions
Detlef Sieling, Ingo WegenerVolume:
141
Year:
1995
Language:
english
Pages:
28
DOI:
10.1016/0304-3975(94)00078-w
File:
PDF, 2.05 MB
english, 1995