Yean-Ru Chen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Shang-Wei Lin
11 publications
Zhé Hóu
10 publications
David Sanan
8 publications
Tzu-Fan Wang
2 publications
Si-Han Chen
1 publication
Yon Shin Teo
1 publication

research

∙ 08/07/2023

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

Boolean satisfiability (SAT) solving is a fundamental problem in compute...

0 Shang-Wei Lin, et al. ∙

research

∙ 03/16/2023

A Quantum SMT Solver for Bit-Vector Theory

Given a formula F of satisfiability modulo theory (SMT), the classical S...

0 Shang-Wei Lin, et al. ∙