Papers

• SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits (2025)
  Nengkun Yu et al.
  2.87
• Linear-Time T-Gate Optimization via Random Abstraction (2026)
  Aws Albarghouthi
  1.83
• Relaxed Peephole Optimization: A Novel Compiler Optimization for Quantum Circuits (2020)
  Ji Liu et al.
  —
• Efficient decomposition of unitary matrices in quantum circuit compilers (2021)
  A. M. Krol et al.
  —
• A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation (2023)
  Arianne Meijer - van de Griend
  —
• Dynamic quantum circuit compilation (2023)
  Kun Fang et al.
  —
• Dependency-Aware Compilation for Surface Code Quantum Architectures (2023)
  Abtin Molavi et al.
  —
• Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling (2024)
  Qunsheng Huang et al.
  —
• Automated Auxiliary Qubit Allocation in High-Level Quantum Programming (2024)
  Evandro C. R. Rosa et al.
  —