A Framework for Automatic Generation of Fully Synthesizable ADPLL. - Shinya Ubukata; Satoshi Komatsu (ICECS, 2018)