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 Commun. Cryptol. (2024)
Keyphrases
</>
decision problems
low cost
influence diagrams
decision model
decision making
np hard
graphical models
belief revision
answer set programming