activity
20142024
most citedEnhancing Security Patch Identification by Capturing Structures in Commits

6 citations · 7 across the 5 of their papers we have counts for

collaborators
Showing quant-phShow all

1 paper · 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…