On the error resilience of ordered binary decision diagrams