🔥 remove citation

Signed-off-by: burgholzer <[email protected]>
cda-tum · Feb 18, 2025 · feab334 · feab334
1 parent ec8052e
commit feab334
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -314,14 +314,6 @@ @inproceedings{schmidHybridCircuitMapping2024
   doi                 = {10.48550/arXiv.2311.14164},
 }
 
-@inproceedings{schneiderSATEncodingOptimal2023,
-  title               = {A {{SAT}} encoding for optimal {{Clifford}} circuit synthesis},
-  author              = {Schneider, Sarah and Burgholzer, Lukas and Wille, Robert},
-  year                = {2023},
-  booktitle           = {Asia and South Pacific Design Automation Conf.},
-  doi                 = {10.1145/3566097.3567929},
-}
-
 @article{sivarajah_tket_2021,
   title               = {t$|$ket$\rangle$: a retargetable compiler for {NISQ} devices},
   shorttitle          = {t$|$ket$\rangle$},

diff --git a/paper/paper.md b/paper/paper.md
@@ -81,8 +81,7 @@ more than 30 research papers over its first five years of development [@willeDec
 @burgholzerExploitingArbitraryPaths2022; @burgholzerSimulationPathsQuantum2022;
 @burgholzerEfficientConstructionFunctional2021; @hillmichAccurateNeededEfficient2020;
 @hillmichConcurrencyDDbasedQuantum2020; @hillmichExploitingQuantumTeleportation2021;
-@burgholzerLimitingSearchSpace2022; @pehamDepthoptimalSynthesisClifford2023;
-@schneiderSATEncodingOptimal2023; @pehamOptimalSubarchitecturesQuantum2023;
+@burgholzerLimitingSearchSpace2022; @pehamDepthoptimalSynthesisClifford2023; @pehamOptimalSubarchitecturesQuantum2023;
 @schmidComputationalCapabilitiesCompiler2024; @schmidHybridCircuitMapping2024;
 @burgholzerAdvancedEquivalenceChecking2021; @burgholzerImprovedDDbasedEquivalence2020;
 @burgholzerPowerSimulationEquivalence2020; @burgholzerRandomStimuliGeneration2021;