Login / Signup

Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems.

Wei-Hsiang TsengYao-Wen ChangJie-Hong Roland Jiang
Published in: ISPD (2024)
Keyphrases
  • computing systems
  • computer systems
  • satisfiability modulo theories
  • computing technologies
  • modulo theories
  • autonomic computing
  • database systems
  • answer set programming