Development of new preprocessing techniques for binary decision diagram construction and reversible circuit optimization