Resolution and binary decision diagrams cannot simulate each other polynomially
J.F. Groote, H. ZantemaVolume:
130
Year:
2003
Language:
english
Pages:
15
DOI:
10.1016/s0166-218x(02)00403-1
File:
PDF, 200 KB
english, 2003