Parity OBDDs cannot be handled efficiently enough
Martin Löbbing, Detlef Sieling, Ingo WegenerVolume:
67
Year:
1998
Language:
english
Pages:
6
DOI:
10.1016/s0020-0190(98)00113-6
File:
PDF, 595 KB
english, 1998