Si-Han Chen

According to our database, Si-Han Chen authored at least 4 papers in 2023.

Collaborative distances:

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

2023

SMT Solver With Hardware Acceleration.

Yean-Ru Chen, Si-Han Chen, Shangwei Lin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Empirical study on security verification and assessment of neural network accelerator.

Yean-Ru Chen, Tzu-Fan Wang, Si-Han Chen, Yi-Chun Kao

Microprocess. Microsystems, June, 2023

A Quantum SMT Solver for Bit-Vector Theory.

Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen

CoRR, 2023

Deep Learning Multi-objective Optimization for Smart Manufacturing via Elitist Genetic Algorithm.

Jehn-Ruey Jiang, Si-Han Chen

Proceedings of the International Conference on Consumer Electronics - Taiwan, 2023