📝 Add link to mqt-cc paper (#1635)

## Description

This PR adds a link to the newly published `mqt-cc` paper and updates
the MLIR documentation slightly.

## Checklist

- [x] The pull request only contains commits that are focused and
relevant to this change.
- [x] ~~I have added appropriate tests that cover the new/changed
functionality.~~
- [x] I have updated the documentation to reflect these changes.
- [x] I have added entries to the changelog for any noteworthy
additions, changes, fixes, or removals.
- [x] ~~I have added migration instructions to the upgrade guide (if
needed).~~
- [x] The changes follow the project's style guidelines and introduce no
new warnings.
- [x] The changes are fully tested and pass the CI checks.
- [x] I have reviewed my own code changes.

---------

Signed-off-by: Daniel Haag <121057143+denialhaag@users.noreply.github.com>
Co-authored-by: Lukas Burgholzer <burgholzer@me.com>
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Author: 3 people

CHANGELOG.md

@@ -15,7 +15,7 @@ This project adheres to [Semantic Versioning], with the exception that minor rel
 - ✨ Add conversions between Jeff and QCO ([#1479], [#1548], [#1565]) ([**@denialhaag**])
 - ✨ Add a `place-and-route` pass for mapping circuits to architectures with restricted topologies ([#1537], [#1547], [#1568], [#1581], [#1583], [#1588]) ([**@MatthiasReumann**])
 - ✨ Add initial infrastructure for new QC and QCO MLIR dialects
-  ([#1264], [#1330], [#1402], [#1428], [#1430], [#1436], [#1443], [#1446], [#1464], [#1465], [#1470], [#1471], [#1472], [#1474], [#1475], [#1506], [#1510], [#1513], [#1521], [#1542], [#1548], [#1550], [#1554], [#1567], [#1569], [#1570], [#1572], [#1573], [#1580], [#1602], [#1623], [#1624], [#1626], [#1627])
+  ([#1264], [#1330], [#1402], [#1428], [#1430], [#1436], [#1443], [#1446], [#1464], [#1465], [#1470], [#1471], [#1472], [#1474], [#1475], [#1506], [#1510], [#1513], [#1521], [#1542], [#1548], [#1550], [#1554], [#1567], [#1569], [#1570], [#1572], [#1573], [#1580], [#1602], [#1623], [#1624], [#1626], [#1627], [#1635])
   ([**@burgholzer**], [**@denialhaag**], [**@taminob**], [**@DRovara**], [**@li-mingbao**], [**@Ectras**], [**@MatthiasReumann**], [**@simon1hofmann**])
 
 ### Changed
@@ -335,6 +335,7 @@ _📚 Refer to the [GitHub Release Notes](https://github.com/munich-quantum-tool
 
 <!-- PR links -->
 
+[#1635]: https://github.com/munich-quantum-toolkit/core/pull/1635
 [#1627]: https://github.com/munich-quantum-toolkit/core/pull/1627
 [#1626]: https://github.com/munich-quantum-toolkit/core/pull/1626
 [#1624]: https://github.com/munich-quantum-toolkit/core/pull/1624

README.md

@@ -138,6 +138,21 @@ When citing the software itself or results produced with it, cite the MQT Core p
 }
 ```
 
+### The MQT Compiler Collection
+
+When citing the compilation framework built on MLIR, cite the MQT Compiler Collection paper:
+
+```bibtex
+@article{MQTCompilerCollection2026,
+  title        = {The {{MQT Compiler Collection}}: {{A}} Blueprint for a Future-Proof Quantum-Classical Compilation Framework},
+  author       = {Burgholzer, Lukas and Haag, Daniel and Stade, Yannick and Rovara, Damian and Hopf, Patrick and Wille, Robert},
+  year         = {2026},
+  booktitle    = {Design, Automation and Test in Europe},
+  eprint       = {2604.08674},
+  eprinttype   = {arxiv},
+}
+```
+
 ### The Munich Quantum Toolkit (the project)
 
 When discussing the overall MQT project or its ecosystem, cite the MQT Handbook:

docs/mlir/index.md

@@ -1,19 +1,19 @@
-# MLIR in the MQT
+# The MQT Compiler Collection
 
-This part of the MQT explores the capabilities of the Multi-Level Intermediate Representation (MLIR) in the context of compilation for quantum computing.
+The MQT Compiler Collection (`mqt-cc`) is a blueprint for a future-proof quantum-classical compilation framework built on the Multi-Level Intermediate Representation (MLIR).
+For an overview, see {cite:p}`MQTCompilerCollection2026`.
+
+This page gives a technical introduction.
+It links to the API documentation for the MLIR infrastructure.
 
 We define multiple dialects, each with its dedicated purpose:
 
 - The {doc}`QC dialect <QC>` uses reference semantics and is designed as a compatibility dialect that simplifies translations from and to existing languages such as Qiskit, OpenQASM, or QIR.
-
 - The {doc}`QCO dialect <QCO>` uses value semantics and is mainly designed for running optimizations.
-
 - The {doc}`QTensor dialect <QTensor>` adds support for one-dimensional tensors of qubits with linear typing and is used in the QCO dialect to represent collections of qubits such as registers.
 
-These dialects define various canonicalization and transformations that enable the compilation of quantum programs to native quantum hardware.
-
-For intercompatibility, we provide {doc}`conversions <Conversions>` between dialects.
-So far, this comprises conversions between QC and QCO as well as from QC to QIR.
+These dialects define various canonicalization and transformation passes that enable the compilation of quantum programs to native quantum hardware.
+For interoperability, we provide {doc}`conversions <Conversions>` between dialects.
 
 ```{toctree}
 :maxdepth: 2

docs/references.md

@@ -27,6 +27,20 @@ If you want to cite this article, please use the following BibTeX entry:
 }
 ```
 
+For an overview of the compilation framework built on MLIR, see {cite:p}`MQTCompilerCollection2026`.
+If you want to cite the MQT Compiler Collection, please use the following BibTeX entry:
+
+```bibtex
+@article{MQTCompilerCollection2026,
+  title        = {The {{MQT Compiler Collection}}: {{A}} Blueprint for a Future-Proof Quantum-Classical Compilation Framework},
+  author       = {Burgholzer, Lukas and Haag, Daniel and Stade, Yannick and Rovara, Damian and Hopf, Patrick and Wille, Robert},
+  year         = {2026},
+  booktitle    = {Design, Automation and Test in Europe},
+  eprint       = {2604.08674},
+  eprinttype   = {arxiv},
+}
+```
+
 *MQT Core* is part of the Munich Quantum Toolkit, which is described in {cite:p}`mqt`.
 If you want to cite the Munich Quantum Toolkit, please use the following BibTeX entry:
 

docs/refs.bib

@@ -214,7 +214,7 @@ @inproceedings{minatoZerosuppressedBDDsSet1993
 @inproceedings{mqt,
   title               = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
   shorttitle          = {The MQT Handbook},
-  author              = {Robert Wille and Lucas Berent and Tobias Forster and Jagatheesan Kunasaikaran and Kevin Mato and Tom Peham and Nils Quetschlich and Damian Rovara and Aaron Sander and Ludwig Schmid and Daniel Schoenberger and Yannick Stade and Lukas Burgholzer},
+  author              = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
   year                = {2024},
   booktitle           = {IEEE International Conference on Quantum Software (QSW)},
   doi                 = {10.1109/QSW62656.2024.00013},
@@ -223,6 +223,15 @@ @inproceedings{mqt
   addendum            = {A live version of this document is available at \url{https://mqt.readthedocs.io}},
 }
 
+@inproceedings{MQTCompilerCollection2026,
+  title               = {The {{MQT Compiler Collection}}: {{A}} Blueprint for a Future-Proof Quantum-Classical Compilation Framework},
+  author              = {Burgholzer, Lukas and Haag, Daniel and Stade, Yannick and Rovara, Damian and Hopf, Patrick and Wille, Robert},
+  year                = {2026},
+  booktitle           = date,
+  eprint              = {2604.08674},
+  eprinttype          = {arxiv},
+}
+
 @inproceedings{niemannEfficientSynthesisQuantum2014,
   title               = {Efficient synthesis of quantum circuits implementing {{Clifford}} group operations},
   author              = {Niemann, Philipp and Wille, Robert and Drechsler, Rolf},