Placement and routing optimization for circuits derived from BDDs | IEEE Conference Publication | IEEE Xplore