activity
20132026
most citedSilas: High Performance, Explainable and Verifiable Machine Learning

5 citations · 8 across the 11 of their papers we have counts for

collaborators
Showing 2023Show 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…