Translation among CNFs, characteristic models and ordered binary decision diagrams
Takashi Horiyama, Toshihide IbarakiVolume:
85
Year:
2003
Language:
english
Pages:
8
DOI:
10.1016/s0020-0190(02)00374-5
File:
PDF, 118 KB
english, 2003