"BOMIG: A Majority Logic Synthesis Framework for AQFP Logic" is accepted by DATE 2023