Gate-level synthesis of Boolean functions using information theory concepts | IEEE Conference Publication | IEEE Xplore