Resolution and binary decision diagrams cannot simulate each other polynomially.

Jan Friso Groote Hans Zantema Resolution and binary decision diagrams cannot simulate each other polynomially. 157-171 2003 130 Discrete Applied Mathematics 2 http://dx.doi.org/10.1016/S0166-218X(02)00403-1 db/journals/dam/dam130.html#GrooteZ03