Q3385623 (Q3385623): Difference between revisions

@@ Property / cites work @@
+Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
+Normal rank
@@ Property / cites work @@
+T-Count Optimization and Reed–Muller Codes
@@ Property / cites work: T-Count Optimization and Reed–Muller Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Verified compilation of space-efficient reversible circuits
+Normal rank
@@ Property / cites work @@
+Towards Quantum Programs Verification: From Quipper Circuits to QPMC
+Normal rank
@@ Property / cites work @@
+Rewriting modulo symmetric monoidal structure
@@ Property / cites work: Rewriting modulo symmetric monoidal structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522513
@@ Property / cites work: Q3522513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4997267
@@ Property / cites work: Q4997267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200147
@@ Property / cites work: Q5200147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384933
@@ Property / cites work: Q3384933 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Grover’s Algorithm to AES: Quantum Resource Estimates
+Normal rank
@@ Property / cites work @@
+Q3410550
@@ Property / cites work: Q3410550 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum circuits and low-degree polynomials over ${{\mathbb{F}}_\mathsf{2}}$
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Boolean Functions
@@ Property / cites work: Analysis of Boolean Functions / rank @@
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417637
@@ Property / cites work: Q5417637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3171609
@@ Property / cites work: Q3171609 / rank @@
+Normal rank