Synthesis of feedback decoders for initialized encoders. - Kuan-Hua Tu; Jie-Hong R. Jiang (DAC, 2013)

QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. - Kuan-Hua Tu; Tzu-Chien Hsu; Jie-Hong R. Jiang (SAT, 2015)

Homing Sequence Derivation with Quantified Boolean Satisfiability. - Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik (ICTSS, 2017)

2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit. - Chung-Han Chou; Chih-Jen (Jacky) Hsu; Chi-An (Rocky) Wu; Kuan-Hua Tu (ICCAD, 2022)

Quantifier Elimination in Stochastic Boolean Satisfiability. - Hao-Ren Wang; Kuan-Hua Tu; Jie-Hong Roland Jiang; Christoph Scholl 001 (SAT, 2022)

Homing Sequence Derivation With Quantified Boolean Satisfiability. - Kuan-Hua Tu; Hung-En Wang; Jie-Hong R. Jiang; Natalia Kushik; Nina Yevtushenko 001 (IEEE Trans. Computers, 2022)

Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching. - Chung-Han Chou; Chih-Jen (Jacky) Hsu; Chi-An (Rocky) Wu; Kuan-Hua Tu; Kei-Yong Khoo (ICCAD, 2023)

2024 ICCAD CAD Contest Problem A: Reinforcement Logic Optimization for a General Cost Function. - Chung-Han Chou; Chih-Jen Hsu; Chi-An Wu; Kuan-Hua Tu; Kwangsoo Han; Zhou Li (ICCAD, 2024)