Expanding In-Cone Obfuscated Tree for Anti SAT Attack. - RuiJie Wang; Li-Nung Hsu; Yung-Chih Chen; TingTing Hwang (DATE, 2023)