Login / Signup
New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation.
Jingwen Chen
Qun Liu
Yanhong Fan
Lixuan Wu
Boyun Li
Meiqin Wang
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
decision problems
low cost
influence diagrams
sensitivity analysis
decision model
search algorithm
probabilistic model
optimal policy
data mining
machine learning
lower bound