Error-free affine, unitary, and probabilistic OBDDs narrower than bounded-error
unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las
Nondeterministic unitary OBDDs uni-tary OBDDs (NUOBDDs). Firstly, we present a generic lower bound on their widths based on the size