High-quality sub-function construction in the information-driven circuit synthesis with gates | IEEE Conference Publication | IEEE Xplore