C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tzu-Fan Wang
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Sat Solving
High Security
Quantum Evolutionary Algorithm
Top Venues
CoRR
Microprocess. Microsystems
</>
Publications
</>
Yean-Ru Chen
,
Tzu-Fan Wang
,
Si-Han Chen
,
Yi-Chun Kao
Empirical study on security verification and assessment of neural network accelerator.
Microprocess. Microsystems
99 (2023)
Shang-Wei Lin
,
Tzu-Fan Wang
,
Yean-Ru Chen
,
Zhe Hou
,
David Sanán
,
Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation.
CoRR
(2023)
Shang-Wei Lin
,
Si-Han Chen
,
Tzu-Fan Wang
,
Yean-Ru Chen
A Quantum SMT Solver for Bit-Vector Theory.
CoRR
(2023)