Kuan-Hua Tu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICCAD | 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, Zhuo Li |
| 2023 | ICCAD | 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 |
| 2022 | ICCAD | 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 |
| 2022 | SAT | Quantifier Elimination in Stochastic Boolean Satisfiability. | Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl |
| 2015 | SAT | QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. | Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang |
| 2013 | DAC | Synthesis of feedback decoders for initialized encoders. | Kuan-Hua Tu, Jie-Hong R. Jiang |