BOMIG: A Majority Logic Synthesis Framework for AQFP Logic | IEEE Conference Publication | IEEE Xplore