Kuan-Hua Tu

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Quantifier Elimination

Probabilistic Planning

Boolean Satisfiability

Top Venues

IEEE Trans. Computers

Publications

Chung-Han Chou, Chih-Jen (Jacky) Hsu, Chi-An (Rocky) Wu, Kuan-Hua Tu, Kei-Yong Khoo
Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching. ICCAD (2023)
Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko
Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers 71 (3) (2022)
Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl
Quantifier Elimination in Stochastic Boolean Satisfiability. SAT (2022)
Chung-Han Chou, Chih-Jen (Jacky) Hsu, Chi-An (Rocky) Wu, Kuan-Hua Tu
2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit. ICCAD (2022)
Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
Homing Sequence Derivation with Quantified Boolean Satisfiability. ICTSS (2017)
Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. SAT (2015)
Kuan-Hua Tu, Jie-Hong R. Jiang
Synthesis of feedback decoders for initialized encoders. DAC (2013)