Ordered {AND, OR}-Decomposition and Binary-Decision Diagram | Read Paper on Bytez