Kuan-Hua Tu
According to our database1,
Kuan-Hua Tu
authored at least 7 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
2022
IEEE Trans. Computers, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
2017
Proceedings of the Testing Software and Systems, 2017
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013