A
Menu
October 12, 2024 conference-paper Open access Aachen paper

Automated Reasoning in Quantum Circuit Compilation

Lecture notes in computer science, pp. 106–134

DOI: 10.1007/978-3-031-66149-5_6 Full text (OA) OpenAlex

Authors 7

  1. Dimitrios Thanos corresponding Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  2. Alejandro Villoria Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  3. Sebastiaan Brand Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  4. Arend-Jan Quist Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  5. Jingyi Mei Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  6. Tim Coopmans Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

  7. Alfons Laarman Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, 2333, CA, The Netherlands

Cited by 4 stored of 4

4 results

No patents citing this paper on Lens.org (checked 2026-10-11).

References 181