An approach for genetic synthesizer of binary decision diagram | IEEE Conference Publication | IEEE Xplore