📝 Add documentation for DD package

.pre-commit-config.yaml

@@ -148,3 +148,21 @@ repos:
     rev: 2024.11.25
     hooks:
       - id: validate-pyproject
+
+  # Tidy up BibTeX files
+  - repo: https://github.com/FlamingTempura/bibtex-tidy
+    rev: v1.14.0
+    hooks:
+      - id: bibtex-tidy
+        args:
+          [
+            "--align=20",
+            "--curly",
+            "--months",
+            "--blank-lines",
+            "--sort",
+            "--strip-enclosing-braces",
+            "--sort-fields",
+            "--trailing-commas",
+            "--remove-empty-fields",
+          ]

docs/conf.py

@@ -130,7 +130,7 @@ def format_url(self, _e: Entry) -> HRef:  # noqa: PLR6301
 
 pybtex.plugin.register_plugin("pybtex.style.formatting", "cda_style", CDAStyle)
 
-bibtex_bibfiles = ["refs.bib"]
+bibtex_bibfiles = ["lit_header.bib", "refs.bib"]
 bibtex_default_style = "cda_style"
 
 copybutton_prompt_text = r"(?:\(\.?venv\) )?(?:\[.*\] )?\$ "

docs/dd_package.md

@@ -0,0 +1,9 @@
+# Decision Diagram (DD) Package
+
+Decision diagrams were introduced in the 1980s as a data structure for the efficient representation and manipulation of Boolean functions {cite:p}`bryantGraphbasedAlgorithmsBoolean1986`.
+This led to the emergence of a wide variety of decision diagrams, including BDDs, FBDDs, KFDDs, MTBDDs, and ZDDs (see, for example, {cite:p}`bryantSymbolicBooleanManipulation1992,wegenerBranchingProgramsBinary2000,gergovEfficientBooleanManipulation1994,drechslerEfficientRepresentationManipulation1994,baharAlgebraicDecisionDiagrams1993,minatoZerosuppressedBDDsSet1993`), which made them a crucial tool in the development of modern circuits and systems.
+Because of their previous success, decision diagrams have been proposed for application in the realm of quantum computing {cite:p}`willeDecisionDiagramsQuantum2023,willeToolsQuantumComputing2022,millerQMDDDecisionDiagram2006,niemannQMDDsEfficientQuantum2016,zulehnerHowEfficientlyHandle2019,hongTensorNetworkBased2020,vinkhuijzenLIMDDDecisionDiagram2021`.
+Particularly for design tasks like _simulation_ {cite:p}`viamontesImprovingGatelevelSimulation2003,zulehnerAdvancedSimulationQuantum2019,hillmichJustRealThing2020,burgholzerHybridSchrodingerFeynmanSimulation2021,vinkhuijzenLIMDDDecisionDiagram2021,hillmichApproximatingDecisionDiagrams2022,burgholzerSimulationPathsQuantum2022,grurlNoiseawareQuantumCircuit2023,matoMixeddimensionalQuantumCircuit2023,sanderHamiltonianSimulationDecision2023`, _synthesis_ {cite:p}`niemannEfficientSynthesisQuantum2014,abdollahiAnalysisSynthesisQuantum2006,soekenSynthesisReversibleCircuits2012,zulehnerOnepassDesignReversible2018,adarshSyReCSynthesizerMQT2022,matoMixeddimensionalQuditState2024`, and _verification_ {cite:p}`burgholzerAdvancedEquivalenceChecking2021,burgholzerRandomStimuliGeneration2021,burgholzerVerifyingResultsIBM2020,wangXQDDbasedVerificationMethod2008,smithQuantumLogicSynthesis2019,hongEquivalenceCheckingDynamic2021` of quantum circuits, they lately attracted tremendous attention.
+In fact, decision diagrams form the foundation for a large part of the Munich Quantum Toolkit's approaches for classical quantum circuit simulation and verification.
+To this end, MQT Core provides a fully-fledged, high-performance decision diagram package for quantum computing.
+The following sections provide a comprehensive guide to the decision diagram package in MQT Core.

docs/index.md

@@ -34,6 +34,8 @@ self
 
 installation
 mqt_core_ir
+dd_package
+references
 ```
 
 ````{only} not latex