Kuan-Hua Tu

According to our database, Kuan-Hua Tu authored at least 8 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

2023

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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Homing Sequence Derivation With Quantified Boolean Satisfiability.

Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko

IEEE Trans. Computers, 2022

Quantifier Elimination in Stochastic Boolean Satisfiability.

Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

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

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2017

Homing Sequence Derivation with Quantified Boolean Satisfiability.

Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik

Proceedings of the Testing Software and Systems, 2017

2015

QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving.

Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2013

Synthesis of feedback decoders for initialized encoders.

Kuan-Hua Tu, Jie-Hong R. Jiang

Proceedings of the 50th Annual Design Automation Conference 2013, 2013