Login / Signup
Tzu-Fan Wang
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Boolean Satisfiability
Sat Solving
Quantum Evolutionary Algorithm
Top Venues
CoRR
Microprocess. Microsystems
TACAS (2)
</>
Publications
</>
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 Teleportation.
TACAS (2)
(2024)
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)