Shinya Ubukata, Satoshi Komatsu: A Framework for Automatic Generation of Fully Synthesizable ADPLL. ICECS 2018: 57-60