Login / Signup

New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation.

Jingwen ChenQun LiuYanhong FanLixuan WuBoyun LiMeiqin 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