Shang-Wei Lin

activity

20142023

most citedA Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices

140 citations · 224 across the 13 of their papers we have counts for

collaborators

Showing 2023Show all

2 papers · 1 filter

quant-ph2023

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen +3

Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer sci…

cs.LO2023

A Quantum SMT Solver for Bit-Vector Theory

Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang +1

Given a formula $F$ of satisfiability modulo theory (SMT), the classical SMT solver tries to (1) abstract $F$ as a Boolean formula $F_{B}$ , (2) find a Boolean solution to $F_{B}$ , and…