Login / Signup
Tzu-Chien Hsu
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 2
Top Topics
Sat Solving
Spatial Frequency
Semiconductor Manufacturing
Propositional Satisfiability
Top Venues
3DIC
SAT
MASS
</>
Publications
</>
Yu-Yun Tseng
,
Tzu-Chien Hsu
,
Yu-Fu Wu
,
Jen-Jee Chen
,
Yu-Chee Tseng
Efficient Vehicle Counting Based On Time-Spatial Images By Neural Networks.
MASS
(2021)
Kuan-Hua Tu
,
Tzu-Chien Hsu
,
Jie-Hong R. Jiang
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving.
SAT
(2015)
Jui-Chin Chen
,
John H. Lau
,
Tzu-Chien Hsu
,
Chien-Chou Chen
,
Pei-Jer Tzeng
,
Po-Chih Chang
,
Chun-Hsien Chien
,
Yiu-Hsiang Chang
,
Shang-Chun Chen
,
Yu-Chen Hsin
,
Sue-Chen Liao
,
Cha-Hsin Lin
,
Tzu-Kun Ku
,
Ming-Jer Kao
Challenges of Cu CMP of TSVs and RDLs fabricated from the backside of a thin wafer.
3DIC
(2013)